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

r=dkl a=justdave

diff --git a/buglist.cgi b/buglist.cgi
index c93e185f80fd8499fa6de63d5f0ebeb9c3468d4d..faeb56176577d2077e7855f8fd5b8dcdb5abe3cd 100755 (executable)
--- a/buglist.cgi
+++ b/buglist.cgi
@@ -140,7 +140,7 @@ my $serverpush =
     && exists $ENV{'HTTP_USER_AGENT'} 
       && $ENV{'HTTP_USER_AGENT'} =~ /Mozilla.[3-9]/ 
         && (($ENV{'HTTP_USER_AGENT'} !~ /[Cc]ompatible/) || ($ENV{'HTTP_USER_AGENT'} =~ /MSIE 5.*Mac_PowerPC/))
-          && $ENV{'HTTP_USER_AGENT'} !~ /(?:WebKit|Trident)/
+          && $ENV{'HTTP_USER_AGENT'} !~ /(?:WebKit|Trident|KHTML)/
             && !$agent
               && !defined($cgi->param('serverpush'))
                 || $cgi->param('serverpush');