Disallow selecting driver if there's only one

diff --git a/compile.php b/compile.php
index 0d62d5f27ac083cab823c294d512af91147191f0..fef45fb0259a9f6c82e0765a2e540cc1e02fc552 100755 (executable)
--- a/compile.php
+++ b/compile.php
@@ -375,7 +375,7 @@ if ($driver) {
                }
        }
        if (count($drivers) == 1) {
-               $file = str_replace('<?php echo html_select("driver", $drivers, DRIVER); ?>', "<input type='hidden' name='driver' value='" . ($driver == "mysql" ? "server" : $driver) . "'>" . reset($drivers), $file);
+               $file = str_replace('<?php echo html_select("auth[driver]", $drivers, DRIVER); ?>', "<input type='hidden' name='auth[driver]' value='" . ($driver == "mysql" ? "server" : $driver) . "'>" . reset($drivers), $file);
        }
        $file = preg_replace('(;../externals/jush/modules/jush-(?!textarea\.|txt\.|' . preg_quote($driver == "mysql" ? "sql" : $driver) . '\.)[^.]+.js)', '', $file);
 }