Bug 914262: KHTML-based browsers such as Konqueror do not support the Server-Push...

r=dkl a=sgreen

diff --git a/buglist.cgi b/buglist.cgi
index 9bce1c74a0a9656662544e7c83e074cc697d9fca..00d67c599ec9bdb6bcafd122a53ae8c7a09243f9 100755 (executable)
--- a/buglist.cgi
+++ b/buglist.cgi
@@ -105,7 +105,7 @@ my $serverpush =
     && exists $ENV{'HTTP_USER_AGENT'} 
       && $ENV{'HTTP_USER_AGENT'} =~ /(Mozilla.[3-9]|Opera)/
         && $ENV{'HTTP_USER_AGENT'} !~ /compatible/i
-          && $ENV{'HTTP_USER_AGENT'} !~ /(?:WebKit|Trident)/
+          && $ENV{'HTTP_USER_AGENT'} !~ /(?:WebKit|Trident|KHTML)/
             && !defined($cgi->param('serverpush'))
               || $cgi->param('serverpush');