diff options
author | J.M <me@mynetx.net> | 2012-07-01 18:14:19 +0400 |
---|---|---|
committer | J.M <me@mynetx.net> | 2012-07-01 19:17:35 +0400 |
commit | 18b8f215c68a7797a6b717b65bda180c51c60c96 (patch) | |
tree | 7272b7afe961194fac2c0857bb7a0e527163a535 /url.php | |
parent | 8f0f6da64c73cd7020ac580fa148be3d19c6b77e (diff) |
Backport commit 4521b28 to fix bug #3527531, die after sending Location header in url.php
Diffstat (limited to 'url.php')
-rw-r--r-- | url.php | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -13,4 +13,5 @@ if (! PMA_isValid($_GET['url']) || ! preg_match('/^https?:\/\/[^\n\r]*$/', $_GET } else { header('Location: ' . $_GET['url']); } +die(); ?> |