Files misc/hsqldb/lib/hsqldb.jar and misc/build/hsqldb/lib/hsqldb.jar differ
*** misc/hsqldb/src/org/hsqldb/persist/Log.java	Wed Jun  8 19:55:02 2005
--- misc/build/hsqldb/src/org/hsqldb/persist/Log.java	Wed Jun 22 09:36:33 2005
***************
*** 234,240 ****
          deleteNewAndOldFiles();
  
          // create '.script.new'
!         writeScript(script);
          closeAllTextCaches(script);
  
          if (cache != null) {
--- 234,241 ----
          deleteNewAndOldFiles();
  
          // create '.script.new'
!         if (!filesReadOnly)
!             writeScript(script);
          closeAllTextCaches(script);
  
          if (cache != null) {
***************
*** 243,253 ****
          }
  
          // oj@openoffice.org - changed to file access api
!         try {
!             fa.renameElement(scriptFileName + ".new", scriptFileName);
!             fa.removeElement(logFileName);
!         } catch (IOException e) {
!             database.logger.appLog.logContext(e);
          }
  
          properties.setProperty(HsqlDatabaseProperties.db_version,
--- 244,256 ----
          }
  
          // oj@openoffice.org - changed to file access api
!         if (!filesReadOnly) {
!             try {
!                 fa.renameElement(scriptFileName + ".new", scriptFileName);
!                 fa.removeElement(logFileName);
!             } catch (IOException e) {
!                 database.logger.appLog.logContext(e);
!             }
          }
  
          properties.setProperty(HsqlDatabaseProperties.db_version,
