PAN-7 fixed the loaddb.bat file for Windows

pandamonium-theorem-prover/persistence/build.gradle

@@ -48,6 +48,6 @@ task loadDb(type: Exec, group: 'Verification', description: 'Reloads the local d
         commandLine './loaddb.sh'
     } else {
         workingDir "./scripts/mysql"
-        commandLine 'loaddb.bat'
+        commandLine=['cmd','/c','loaddb.bat']
     }
 }

pandamonium-theorem-prover/persistence/scripts/mysql/loaddb.bat

@@ -1,5 +1,5 @@
-SET MYSQL_PWD=secret
+set mysql_pwd = secret
-FOR /R %%s IN (.\*.sql) do (
+FOR /R %%s IN (*.sql) do (
     echo **** %%s ****
-    echo mysql --batch --quick --raw --line-numbers --force --user=panda < %%s
+    mysql -u panda -psecret < %%s
 )