diff options
author | Brion Vibber <brion@pobox.com> | 2010-10-13 17:35:18 -0700 |
---|---|---|
committer | Brion Vibber <brion@pobox.com> | 2010-10-13 17:35:18 -0700 |
commit | d84923470fd06cfde60e887c7e2f649e015dd6bb (patch) | |
tree | a747bd3c761de66d96c73543800b434d93da4bff | |
parent | a421dd934aeb4a1064608bdeca44b5b5986e7358 (diff) |
fix bug with --diff on missing table
-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; |