diff --git a/lib/db/mysql.php b/lib/db/mysql.php index 6c5e79338e2..841b4db07a7 100644 --- a/lib/db/mysql.php +++ b/lib/db/mysql.php @@ -1,19 +1,9 @@ rolesactive)) { + drop_table('user_students'); + drop_table('user_teachers'); + drop_table('user_coursecreators'); + drop_table('user_admins'); + } + } + + return $result; +} + +?> diff --git a/version.php b/version.php index f37f04ae239..ca1728fa87d 100644 --- a/version.php +++ b/version.php @@ -6,7 +6,7 @@ // This is compared against the values stored in the database to determine // whether upgrades should be performed (see lib/db/*.php) - $version = 2006092801; // YYYYMMDD = date + $version = 2006100401; // YYYYMMDD = date // XY = increments within a single day $release = '1.7 dev'; // Human-friendly version name