diff options
| author | Dave Lawrence <dlawrence@mozilla.com> | 2013-08-12 20:54:59 +0200 |
|---|---|---|
| committer | Dave Lawrence <dlawrence@mozilla.com> | 2013-08-12 20:54:59 +0200 |
| commit | faf5ee649261c08d8e9b1c8de8cb3cb6311c8b4b (patch) | |
| tree | fa7fb1a507437ff8086789ae835d6459b08ede99 /buglist.cgi | |
| parent | c3de43ee18240e8364fae0e9caeeda8cdff8f986 (diff) | |
| parent | e651ee9c34ca40afdd4582902c1656ea577a4fc3 (diff) | |
| download | bugzilla-faf5ee649261c08d8e9b1c8de8cb3cb6311c8b4b.tar.gz bugzilla-faf5ee649261c08d8e9b1c8de8cb3cb6311c8b4b.tar.xz | |
merged with bugzilla/4.2
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 9d259de5c..8646f4028 100755 --- 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/ + && $ENV{'HTTP_USER_AGENT'} !~ /(?:WebKit|Trident)/ && !$agent && !defined($cgi->param('serverpush')) || $cgi->param('serverpush'); |