Update to backend 2.0.31

src/main/java/caosdb/server/ServerProperties.java

@@ -145,7 +145,7 @@ public class ServerProperties extends Properties {
     serverProperties.setProperty(KEY_MYSQL_USER_NAME, "CaosDB");
     serverProperties.setProperty(KEY_MYSQL_USER_PASSWORD, "CaosDB");
 
-    serverProperties.setProperty(KEY_MYSQL_SCHEMA_VERSION, "v2.0.30");
+    serverProperties.setProperty(KEY_MYSQL_SCHEMA_VERSION, "v2.0.31");
 
     serverProperties.setProperty(KEY_BASE_PATH, basepath);
     serverProperties.setProperty(KEY_CONTEXT_ROOT, "");

src/main/java/caosdb/server/entity/FileProperties.java

@@ -216,8 +216,7 @@ public class FileProperties {
     };
   }
 
-  private static Undoable delete(final File file)
-      throws IOException, InterruptedException {
+  private static Undoable delete(final File file) throws IOException, InterruptedException {
     if (file.getAbsolutePath().startsWith(FileSystem.getBasepath())) {
       final Undoable d;
       final File parent = file.getParentFile();

src/main/java/caosdb/server/resource/ScriptingResource.java

@@ -99,7 +99,9 @@ public class ScriptingResource extends AbstractCaosDBServerResource {
         p.getFile().delete();
       } catch (Exception t) {
         if (getLogger().isLoggable(Level.WARNING)) {
-          getLogger().warning("Could not delete tmp file: " + p.getPath() + "\nException: " + t.toString());
+          getLogger()
+              .warning(
+                  "Could not delete tmp file: " + p.getPath() + "\nException: " + t.toString());
         }
       }
     }