tree 0427a2a18b7d0a98daa0050ea20fa359ffff822e
parent f7e23b3357c73cc9eb50c59f444181fcfaa2267d
author vlakoff <vlakoff@gmail.com> 1347361821 +0200
committer vlakoff <vlakoff@gmail.com> 1347414864 +0200

Better server test in redirect() of URL helper

"Location" header bugs are specific to IIS; previous test was matching
all HTTP servers under Windows.

This test isn't perfect yet ($_SERVER['SERVER_SOFTWARE'], which
corresponds to the "Server" header of HTTP response, might be missing),
but there is no perfect test.

"Refresh" method makes the window blank for quite a noticeable time,
so let's not affect other servers because of IIS.