NOBUG: Added missing savepoint

diff --git a/lib/db/upgrade.php b/lib/db/upgrade.php
index dea7578a07ae82f4da0c996baf751d0f71ca96a5..494dc3c2c574e3f2040295bb812efac659237d83 100644 (file)
--- a/lib/db/upgrade.php
+++ b/lib/db/upgrade.php
@@ -2305,6 +2305,9 @@ WHERE gradeitemid IS NOT NULL AND grademax IS NOT NULL");
         if ($current_bloglevel == BLOG_GROUP_LEVEL || $current_bloglevel == BLOG_COURSE_LEVEL) {
             set_config('bloglevel', BLOG_SITE_LEVEL);
         }
+
+    /// Main savepoint reached
+        upgrade_main_savepoint($result, 2009070100);
     }
 
     if ($result && $oldversion < 2009071000) {