diff --git a/scripts/dumpschema.php b/scripts/dumpschema.php index cab02d910e..b8d034d2a6 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;