From 948a73c2cc7709e2f46c86aa0211b2a465e38b40 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Fr=C3=A9d=C3=A9ric=20Buclin?= <LpSolit@gmail.com>
Date: Tue, 10 Sep 2013 23:11:16 +0200
Subject: [PATCH] Bug 914262: KHTML-based browsers such as Konqueror do not
 support the Server-Push technology r=dkl a=sgreen

---
 buglist.cgi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/buglist.cgi b/buglist.cgi
index 553ea614c8..4e3d2bd7af 100755
--- a/buglist.cgi
+++ b/buglist.cgi
@@ -110,7 +110,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');
 
-- 
2.47.2