Manually setting db version in mysql-base.php. See #802 for details on fixing this bug.

jmathai · jmathai · commit 5808740a1e48 · 2014-06-18T15:57:33.000-04:00
diff --git a/src/configs/upgrade/db/mysql/mysql-base.php b/src/configs/upgrade/db/mysql/mysql-base.php
@@ -360,7 +360,7 @@
     INSERT INTO `{$this->mySqlTablePrefix}admin` (`key`,`value`) 
     VALUES (:key, :value)
 SQL;
-  mysql_base($sql, array(':key' => 'version', ':value' => '4.0.1'));
+  mysql_base($sql, array(':key' => 'version', ':value' => '4.0.2'));
 
   return true;
 }

Original file line number	Diff line number	Diff line change
`@@ -360,7 +360,7 @@`
`360`	`360`	INSERT INTO `{$this->mySqlTablePrefix}admin` (`key`,`value`)
`361`	`361`	`VALUES (:key, :value)`
`362`	`362`	`SQL;`
`363`		`- mysql_base($sql, array(':key' => 'version', ':value' => '4.0.1'));`
	`363`	`+ mysql_base($sql, array(':key' => 'version', ':value' => '4.0.2'));`
`364`	`364`
`365`	`365`	`return true;`
`366`	`366`	`}`