diff --git a/adminer/indexes.inc.php b/adminer/indexes.inc.php index de7ff132..2de09328 100644 --- a/adminer/indexes.inc.php +++ b/adminer/indexes.inc.php @@ -16,7 +16,9 @@ if ($jush == "mongo") { // doesn't support primary key unset($indexes["_id_"]); } $row = $_POST; - +if ($row) { + set_adminer_settings(array("index_options" => $row["options"])); +} if ($_POST && !$error && !$_POST["add"] && !$_POST["drop_col"]) { $alter = array(); foreach ($row["indexes"] as $index) { @@ -91,6 +93,8 @@ if (!$row) { $indexes[] = array("columns" => array(1 => "")); $row["indexes"] = $indexes; } +$lengths = ($jush == "sql" || $jush == "mssql"); +$show_options = ($_POST ? $_POST["options"] : adminer_setting("index_options")); ?>