Initial value for next_extension_id added.

diff --git a/admin/db/maintenance_db.inc b/admin/db/maintenance_db.inc
index ceccb076fcb715ad2e6553b5bae020201ccfb7f9..ba695a3070ff6aaeafa07bb8665bc762901b8f45 100644 (file)
--- a/admin/db/maintenance_db.inc
+++ b/admin/db/maintenance_db.inc
@@ -129,7 +129,9 @@ function write_extensions($extensions=null, $company = -1)
        if (!isset($extensions)) {
                $extensions = $installed_extensions;
        }
-
+       if (!isset($next_extension_id)) {
+               $next_extension_id = 1;
+       }
 //     $exts = array_natsort($extensions, 'name', 'name');
 //     $extensions = $exts;