Fix MySQL only version

diff --git a/compile.php b/compile.php
index 455ffeca01d44b4426420fa5759f5d9298465193..ad5b6804b64da69d3a90436b6361a383bf4e4811 100644 (file)
--- a/compile.php
+++ b/compile.php
@@ -239,7 +239,7 @@ foreach (array("adminer", "editor") as $project) {
                        }
                }
                if (count($drivers) == 1) {
-                       $file = str_replace('<?php echo html_select("driver", $drivers, DRIVER); ?>', "<input type='hidden' name='driver' value='$driver'>" . reset($drivers), $file);
+                       $file = str_replace('<?php echo html_select("driver", $drivers, DRIVER); ?>', "<input type='hidden' name='driver' value='" . ($driver == "mysql" ? "server" : $driver) . "'>" . reset($drivers), $file);
                }
        }
        $file = preg_replace_callback("~lang\\('((?:[^\\\\']+|\\\\.)*)'([,)])~s", 'lang_ids', $file);