mirror/php-adminer
1
0
Fork 0
mirror of https://github.com/vrana/adminer.git synced 2025-08-08 15:47:00 +02:00
Code Issues Releases Wiki Activity

Full AJAX only with pushState to work correctly with history

Browse Source
This commit is contained in:
Jakub Vrana
2010-11-12 17:09:30 +01:00
parent b37435d716
commit b535853694
6 changed files with 41 additions and 17 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
adminer/include/functions.inc.php
View File

@@ -361,10 +361,14 @@ function redirect($location, $message = null) {
$_SESSION["messages"][] = $message;
}
if (isset($location)) {
if ($location == "") {
$location = ".";
}
if (!is_ajax()) {
header("Location: " . ($location != "" ? $location : "."));
header("Location: $location");
exit;
}
header("X-AJAX-Redirect: $location");
$_POST = array();
}
}