Fix DB rename feature.

package.json

@@ -1,6 +1,6 @@
 {
   "name": "stark-db",
-  "version": "1.3.3",
+  "version": "1.3.4",
   "description": "Database engine based on SQLite.",
   "bin": {
     "stark-db": "./dist/src/index.js"

src/services/DB.ts

@@ -133,19 +133,36 @@ export class DB implements AsyncDisposable {
   }
 
   async set(arg: { user: User, DB: DBArg }): Promise<DBBase> {
-    const localDB = await this.get(arg);
+    const localDB = await this.get({
+      user: arg.user,
+      DB: { ID: arg.DB.ID }
+    });
 
     ForbiddenError
       .from(defineAbilityForDB(arg.user))
       .throwUnlessCan(DBOp.Admin, localDB);
 
+    const previousName = localDB.name;
+
+    // Update the DB entry.
+    await localDB.save(arg.DB);
+
+    // Initialize the DB file object.
     const localDBFile = new DBFile({
-      name: localDB.name,
+      name: previousName,
       types: []
     });
-    await localDBFile.save({ name: arg.DB.name, types: [] });
 
-    await localDB.save(arg.DB);
+    // Retry updating the file until it succeeds.
+    await retry(
+      async (_bail) => {
+        await localDBFile.save({ name: arg.DB.name, types: [] });
+      },
+      {
+        retries: 3,
+        minTimeout: DB_EXISTS_CHECK
+      }
+    );
 
     return localDB;
   }

src/utils/swagger.json

@@ -8,7 +8,7 @@
   ],
   "info": {
       "description": "The Stark DB Server.",
-      "version": "1.3.2",
+      "version": "1.3.4",
       "title": "Stark DB API",
       "termsOfService": "",
       "contact": {