# HG changeset patch # User Matti Hamalainen # Date 1447997821 -7200 # Node ID d8b14f80a6f05685885efdc8ee96354e9b98d5df # Parent 8fecb417e6a98ec72557c0fb32a7381a838cb143 Add force_ugprade command. diff -r 8fecb417e6a9 -r d8b14f80a6f0 managedb.php --- a/managedb.php Fri Nov 20 07:28:53 2015 +0200 +++ b/managedb.php Fri Nov 20 07:37:01 2015 +0200 @@ -374,6 +374,10 @@ " Upgrade current database, if possible.\n". " Output to new database (DO NOT USE SAME as current!)\n". "\n". + " force_upgrade \n". + " Like 'upgrade' but without version check.\n" + " DO NOT USE unless you know what you are doing.\n". + "\n". " migrate \n". " Like upgrade, but no version check. Creates\n". " a copy of the database to the output spec.\n". @@ -437,6 +441,7 @@ break; case "upgrade": + case "force_upgrade": $upgrade = TRUE; case "migrate":