From 207db50b159cea945ca0c06fa19dcd5360acac6d Mon Sep 17 00:00:00 2001 From: atusa17 Date: Sat, 23 Feb 2019 20:51:41 -0700 Subject: [PATCH] PAN-7 fixed the loaddb.bat file for Windows --- pandamonium-theorem-prover/persistence/build.gradle | 2 +- .../persistence/scripts/mysql/loaddb.bat | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/pandamonium-theorem-prover/persistence/build.gradle b/pandamonium-theorem-prover/persistence/build.gradle index 6542df6..17d840c 100644 --- a/pandamonium-theorem-prover/persistence/build.gradle +++ b/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'] } } diff --git a/pandamonium-theorem-prover/persistence/scripts/mysql/loaddb.bat b/pandamonium-theorem-prover/persistence/scripts/mysql/loaddb.bat index 37c4da6..6a923cb 100644 --- a/pandamonium-theorem-prover/persistence/scripts/mysql/loaddb.bat +++ b/pandamonium-theorem-prover/persistence/scripts/mysql/loaddb.bat @@ -1,5 +1,5 @@ -SET MYSQL_PWD=secret -FOR /R %%s IN (.\*.sql) do ( +set mysql_pwd = secret +FOR /R %%s IN (*.sql) do ( echo **** %%s **** - echo mysql --batch --quick --raw --line-numbers --force --user=panda < %%s + mysql -u panda -psecret < %%s )