From 564e1b0a6e996ac64c370a2a320e98c68edef10a Mon Sep 17 00:00:00 2001
From: Matt Selsky <selsky@columbia.edu>
Date: Sun, 3 Jun 2012 14:59:40 +0200
Subject: Bug 297553: Enable serverpush for Opera r/a=LpSolit

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

(limited to 'buglist.cgi')

diff --git a/buglist.cgi b/buglist.cgi
index f7498483a..0f9e8176a 100755
--- a/buglist.cgi
+++ b/buglist.cgi
@@ -109,11 +109,12 @@ my $format = $template->get_format("list/list", scalar $cgi->param('format'),
 # 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)
+# Opera supports it.
 #
 my $serverpush =
   $format->{'extension'} eq "html"
     && exists $ENV{'HTTP_USER_AGENT'} 
-      && $ENV{'HTTP_USER_AGENT'} =~ /Mozilla.[3-9]/ 
+      && $ENV{'HTTP_USER_AGENT'} =~ /(Mozilla.[3-9]|Opera)/
         && (($ENV{'HTTP_USER_AGENT'} !~ /[Cc]ompatible/) || ($ENV{'HTTP_USER_AGENT'} =~ /MSIE 5.*Mac_PowerPC/))
           && $ENV{'HTTP_USER_AGENT'} !~ /WebKit/
             && !defined($cgi->param('serverpush'))
-- 
cgit v1.2.3-24-g4f1b