Back out bug 441496: it breaks Safari and Google Chrome

diff --git a/buglist.cgi b/buglist.cgi
index c4f3eabf30aaad9998e9d28aa5525802e0f0f4c9..ac7037854c2c9bfc8af494eb71ff922ab5fc516b 100755 (executable)
--- a/buglist.cgi
+++ b/buglist.cgi
@@ -149,20 +149,17 @@ my $format = $template->get_format("list/list", scalar $cgi->param('format'),
 # to the URL.
 #
 # Server push is a Netscape 3+ hack incompatible with MSIE, Lynx, and others. 
-# Safari 2.0.2 (Webkit 416.11) and above support it.
+# Even Communicator 4.51 has bugs with it, especially during page reload.
+# http://www.browsercaps.org used as source of compatible browsers.
+# Safari (WebKit) does not support it, despite a UA that says otherwise (bug 188712)
 # MSIE 5+ supports it on Mac (but not on Windows) (bug 190370)
 #
-my $webkitversion = "";
-if ($ENV{'HTTP_USER_AGENT'} =~ /WebKit\/(\d+)/) {
-  $webkitversion = $1;
-}
-
 my $serverpush =
   $format->{'extension'} eq "html"
     && 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/))
-          && (!$webkitversion || $webkitversion >= 416)
+          && $ENV{'HTTP_USER_AGENT'} !~ /WebKit/
             && !$agent
               && !defined($cgi->param('serverpush'))
                 || $cgi->param('serverpush');