diff options
-rw-r--r-- | scripts/dumpschema.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/dumpschema.php b/scripts/dumpschema.php index cab02d910..b8d034d2a 100644 --- 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; |