ensure new database is flushed after creation as some users drop the Database returne...

git-svn-id: https://svn.code.sf.net/p/jackcess/code/jackcess/trunk@601 f203690c-595d-4dc9-a70b-905162fa7fd2

diff --git a/src/java/com/healthmarketscience/jackcess/Database.java b/src/java/com/healthmarketscience/jackcess/Database.java
index 4f2f75379e992a53fd144f5772a1fd1a52e98e42..5b5e9d586c5607f9948846f179a93ace6b9f33e6 100644 (file)
--- a/src/java/com/healthmarketscience/jackcess/Database.java
+++ b/src/java/com/healthmarketscience/jackcess/Database.java
@@ -697,6 +697,7 @@ public class Database
     FileChannel channel = openChannel(mdbFile, false);
     channel.truncate(0);
     transferFrom(channel, getResourceAsStream(fileFormat._emptyFile));
+    channel.force(true);
     return new Database(channel, autoSync, fileFormat, charset, timeZone,
                         null);
   }