UpdateDatabase.php

diff --git a/UpdateDatabase.php b/UpdateDatabase.php
index ccbc921..53caabb 100644 (file)
--- a/UpdateDatabase.php
+++ b/UpdateDatabase.php
@@ -906,6 +906,9 @@ class Pman_Core_UpdateDatabase extends Pman
         if ($done_check) {
             return;
         }
+        if (!empty($this->opts['skip-mysql-check'])) {
+            return;
+        }
         // innodb in single files is far more efficient that MYD or one big innodb file.
         // first check if database is using this format.
         $db = DB_DataObject::factory('core_enum');