+ case 3:
+ DB_query("ALTER TABLE digest_email".
+ " ADD COLUMN `game_id` int(11) default NULL AFTER create_date");
+ DB_query("ALTER TABLE digest_email".
+ " ADD COLUMN `type` enum('misc','your_turn') NOT NULL default 'misc' AFTER create_date");
+ DB_query("UPDATE Version set version=4");
+ echo "Upgraded to version 4.\n";
+ case 4:
+ DB_query("ALTER TABLE User MODIFY password varchar(64)");
+ DB_query("UPDATE Version set version=5");
+ echo "Upgraded to version 5.\n";