From bad3c6b08613c272f06a53b7e0b163b48402c7ef Mon Sep 17 00:00:00 2001 From: Jakub Vrana Date: Mon, 28 Nov 2016 10:07:03 -0800 Subject: [PATCH] Disallow selecting driver if there's only one --- compile.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compile.php b/compile.php index 0d62d5f2..fef45fb0 100755 --- a/compile.php +++ b/compile.php @@ -375,7 +375,7 @@ if ($driver) { } } if (count($drivers) == 1) { - $file = str_replace('', "" . reset($drivers), $file); + $file = str_replace('', "" . reset($drivers), $file); } $file = preg_replace('(;../externals/jush/modules/jush-(?!textarea\.|txt\.|' . preg_quote($driver == "mysql" ? "sql" : $driver) . '\.)[^.]+.js)', '', $file); }