main/hsqldb/patches/script.patch

diff -ru misc/hsqldb/src/org/hsqldb/DatabaseCommandInterpreter.java misc/build/hsqldb/src/org/hsqldb/DatabaseCommandInterpreter.java
--- misc/hsqldb/src/org/hsqldb/DatabaseCommandInterpreter.java	2008-05-27 14:26:44.000000000 +0200
+++ misc/build/hsqldb/src/org/hsqldb/DatabaseCommandInterpreter.java	2023-02-19 15:28:44.167555700 +0100
@@ -402,6 +402,9 @@
                 if (tokenizer.getType() != Types.VARCHAR) {
                     throw Trace.error(Trace.INVALID_IDENTIFIER);
                 }
+                if (session.isProcessingScript() || session.isProcessingLog()) {
+                    return new Result(ResultConstants.UPDATECOUNT);
+                }
 
                 dsw = new ScriptWriterText(database, token, true, true, true);