diff options
author | Frédéric Buclin <LpSolit@gmail.com> | 2013-09-10 23:09:18 +0200 |
---|---|---|
committer | Frédéric Buclin <LpSolit@gmail.com> | 2013-09-10 23:09:18 +0200 |
commit | 60b56191bec26fa58539167320e25a813f188a64 (patch) | |
tree | 80acb083a7ac8c83406bb3c992a66e7837a6d0c7 /buglist.cgi | |
parent | 9cacdb6cde7f37776139e84ef3bd667380ef779d (diff) | |
download | bugs-60b56191bec26fa58539167320e25a813f188a64.tar bugs-60b56191bec26fa58539167320e25a813f188a64.tar.gz bugs-60b56191bec26fa58539167320e25a813f188a64.tar.bz2 bugs-60b56191bec26fa58539167320e25a813f188a64.tar.xz bugs-60b56191bec26fa58539167320e25a813f188a64.zip |
Bug 914262: KHTML-based browsers such as Konqueror do not support the Server-Push technology
r=dkl a=sgreen
Diffstat (limited to 'buglist.cgi')
-rwxr-xr-x | buglist.cgi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/buglist.cgi b/buglist.cgi index 9bce1c74a..00d67c599 100755 --- 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'); |