diff options
| author | Jo Michael <me@mynetx.net> | 2012-03-12 00:03:24 +0400 |
|---|---|---|
| committer | Jo Michael <me@mynetx.net> | 2012-03-12 00:03:24 +0400 |
| commit | 2c3287c0b7a5bfa1eaba2a914c503b46ff768a79 (patch) | |
| tree | 5822adabd578460d4b06642a5106a8666b93fc49 /db_operations.php | |
| parent | da2bf8231cdb979e794d8e6a660056fb06d6de6a (diff) | |
$GLOBALS from $_REQUEST and db_operations
Diffstat (limited to 'db_operations.php')
| -rw-r--r-- | db_operations.php | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/db_operations.php b/db_operations.php index 6b8ae78974..270fb9ad07 100644 --- a/db_operations.php +++ b/db_operations.php @@ -24,6 +24,18 @@ $GLOBALS['js_include'][] = 'jquery/jquery-ui-1.8.16.custom.js'; $GLOBALS['js_include'][] = 'db_operations.js'; /** + * Sets globals from $_REQUEST (we're using GET on ajax, POST otherwise) + */ +$post_params = array( + 'drop_if_exists' +); +foreach ($post_params as $one_post_param) { + if (isset($_REQUEST[$one_post_param])) { + $GLOBALS[$one_post_param] = $_REQUEST[$one_post_param]; + } +} + +/** * Rename/move or copy database */ if (strlen($db) && (! empty($db_rename) || ! empty($db_copy))) { |