Fix Windows .bat file. [finishes #71764782]

overview · May 21, 2014 · 9a18923 · 9a18923
1 parent f54ede5
commit 9a18923
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/dist-files/Overview for Windows.bat b/dist-files/Overview for Windows.bat
@@ -1 +1,3 @@
-start runner\runner.bat -Doverview.multi_user=false
+set "JAVA_OPTS=-Doverview.multi_user=false"
+
+start runner\runner.bat