From d84923470fd06cfde60e887c7e2f649e015dd6bb Mon Sep 17 00:00:00 2001
From: Brion Vibber <brion@pobox.com>
Date: Wed, 13 Oct 2010 17:35:18 -0700
Subject: [PATCH] fix bug with --diff on missing table

---
 scripts/dumpschema.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;