mplayer: additional keys in mpv version 0.35

[sheet.git] / common.inc.plp

diff --git a/common.inc.plp b/common.inc.plp
index 6ea11976106b6363bd8b0d88dfca1b267cae6476..d282f091ca452598092ca2b7034c691f5d57ccbb 100644 (file)
--- a/common.inc.plp
+++ b/common.inc.plp
@@ -78,7 +78,7 @@ sub stylesheet {
 
        return map { sprintf(
                '<link rel="%s" type="text/css" media="all" href="%s" title="%s">',
-               $_ eq $style ? 'stylesheet' : 'alternate stylesheet', "/$_.css?1.13", $_
+               $_ eq $style ? 'stylesheet' : 'alternate stylesheet', "/$_.css?1.14", $_
        ) } @avail;
 }
 
@@ -142,6 +142,7 @@ sub Html {
        # document headers before output
        $header{content_type} = "text/html; charset=$meta->{charset}"
                unless $PLP::sentheaders;
+       exit if $ENV{REQUEST_METHOD} eq 'HEAD';
        unshift @{ $meta->{raw} }, stylesheet($meta->{stylesheet});
 
        push @{ $meta->{raw} }, (