Page MenuHomePhabricator

ED constantly refreshes on the download page in Opera
Closed, ResolvedPublic

Description

From the documentation talk page:
The Problem: The auto-start download in the ExtensionDistributor makes the Opera web-browser reload the page after 5 seconds, instead of auto-starting the download.
Version: Opera v10.10 stable-built:1893 Windows7 --FarwayK 14:09, 24 January 2010 (UTC) BTW I've never experienced this problem anywhere before.

This problem still exists and this ExtensionDistributor is still the only place where this happens.
It makes downloading extensions manually almost impossible with Opera. The refresh sends you to http://www.mediawiki.org/wiki/Special:ExtensionDistributor thereby losing the chosen extension and version data.
The only way to stop this is hitting the stop button immediately when the page starts refreshing, before the current page turns blank.
Current Version: Opera v11.00 stable-build:1156 --FarwayK 19:05, 30 December 2010 (UTC)


Version: unspecified
Severity: normal

Details

Reference
bz26537

Event Timeline

bzimport raised the priority of this task from to Medium.Nov 21 2014, 11:23 PM
bzimport set Reference to bz26537.

Confirmed w/ Opera 11.00 on Mac OS X 10.6.5, taking a peek. Possibly something not 100% right in how we output the refresh info...

Fix committed in r79498:

  • (bug 26537) ExtensionDistributor download fix for Opera

Download was being triggered with an HTTP "Refresh" header in the format:

Refresh: 5;http://example.com/tarballs/foo.tgz

This worked fine in Firefox, but Opera was not picking up the target URL, and ended up refreshing the current page instead.
Turns out there's actually supposed to be a "url=" in front of the URL; with that added, Opera picks it up fine now:

Refresh: 5;url=http://example.com/tarballs/foo.tgz