fix bug with --diff on missing table

diff --git a/scripts/dumpschema.php b/scripts/dumpschema.php
index cab02d910e6575097d16b49aba0107097c216f7b..b8d034d2a67412fd438b9f8d4e4416d430eff2c4 100644 (file)
--- a/scripts/dumpschema.php
+++ b/scripts/dumpschema.php
@@ -154,7 +154,7 @@ function dumpDiff($tableName, $filter)
         $old = $schema->getTableDef($tableName);
     } catch (Exception $e) {
         // @fixme this is a terrible check :D
-        if (preg_match('/no such table/', $e->getMessage())) {
+        if (preg_match('/no such table/i', $e->getMessage())) {
             return dumpTable($tableName, false);
         } else {
             throw $e;