external/hsqldb/patches/disable-dump-script.patch

   1 --- a/hsqldb/src/org/hsqldb/DatabaseCommandInterpreter.java     2023-02-13 11:08:11.297243034 +0000
   2 +++ b/hsqldb/src/org/hsqldb/DatabaseCommandInterpreter.java     2023-02-13 13:49:17.973089433 +0000
   3 @@ -403,6 +403,11 @@
   4                      throw Trace.error(Trace.INVALID_IDENTIFIER);
   5                  }
   6
   7 +                // added condition to avoid execution of spurious command in .script or .log file
   8 +                if (session.isProcessingScript() || session.isProcessingLog()) {
   9 +                    return new Result(ResultConstants.UPDATECOUNT);
  10 +                }
  11 +
  12                  dsw = new ScriptWriterText(database, token, true, true, true);
  13
  14                  dsw.writeAll();