diff --git a/src/eu/telecom_bretagne/praxis/server/Serveur.java b/src/eu/telecom_bretagne/praxis/server/Serveur.java index ba5e9a889802aabb0160e0189526b40ef8984091..ff8e0be2e3b3c3ad65cbd883f23f31049ad93039 100644 --- a/src/eu/telecom_bretagne/praxis/server/Serveur.java +++ b/src/eu/telecom_bretagne/praxis/server/Serveur.java @@ -100,8 +100,8 @@ public class Serveur extends UnicastRemoteObject implements RemoteServerInterfac serveur = new Serveur(); boolean createDB = !new File(resultStoreDBFilename).exists(); Class.forName("org.sqlite.JDBC").newInstance(); - try ( Connection c = DriverManager.getConnection("jdbc:sqlite:/" + resultStoreDBFilename) ) - { + @SuppressWarnings("resource") // does not leak! it is used by the ResultStore object! do NOT close it! + Connection c = DriverManager.getConnection("jdbc:sqlite:/" + resultStoreDBFilename); if (createDB) { c.createStatement().execute(ResultStore.RESULT_db_schema); @@ -118,7 +118,6 @@ public class Serveur extends UnicastRemoteObject implements RemoteServerInterfac Log.log.log(Level.WARNING, "Unable to set journal_mode to WAL w/ synchronous=normal", e); } resultStore = new ResultStore(c); - } } catch (Exception e) {