A read only database with writeable linked tables could lead to a…

A read only database with writeable linked tables could lead to a DATABASE_IS_READ_ONLY (90097) error. This is fixed now.

h2/src/docsrc/html/changelog.html

@@ -52,6 +52,8 @@ Change Log
 </li><li>Improved error message for syntax error: the list of expected tokens was sometimes not set correctly.
 </li><li>Database file growth can now be limited using the database setting PAGE_STORE_MAX_GROWTH.
     Slower growth may slow down operation, but speed up closing database.
+</li><li>A read only database with writeable linked tables could lead to a DATABASE_IS_READ_ONLY (90097) error.
+    This is fixed now.
 </li></ul>
 
 <h2>Version 1.3.154 (2011-04-04)</h2>

h2/src/main/org/h2/engine/UndoLog.java

@@ -160,6 +160,7 @@ public class UndoLog {
                 if (file == null) {
                     String fileName = database.createTempFile();
                     file = database.openFile(fileName, "rw", false);
+                    file.setCheckedWriting(false);
                     file.setLength(FileStore.HEADER_LENGTH);
                 }
                 Data buff = Data.create(database, Constants.DEFAULT_PAGE_SIZE);
@@ -187,6 +188,7 @@ public class UndoLog {
                 if (file == null) {
                     String fileName = database.createTempFile();
                     file = database.openFile(fileName, "rw", false);
+                    file.setCheckedWriting(false);
                     file.seek(FileStore.HEADER_LENGTH);
                     rowBuff = Data.create(database, Constants.DEFAULT_PAGE_SIZE);
                     Data buff = rowBuff;

h2/src/main/org/h2/result/RowList.java

@@ -86,6 +86,7 @@ public class RowList {
             Database db = session.getDatabase();
             String fileName = db.createTempFile();
             file = db.openFile(fileName, "rw", false);
+            file.setCheckedWriting(false);
             file.seek(FileStore.HEADER_LENGTH);
             rowBuff = Data.create(db, Constants.DEFAULT_PAGE_SIZE);
             file.seek(FileStore.HEADER_LENGTH);