more work on webstart

2017-03-24 07:27:25 +01:00
parent 924a9c059c
commit f6cc6bbb7d
6 changed files with 104 additions and 68 deletions
--- a/src/gui/EditStrategies.java
+++ b/src/gui/EditStrategies.java
@ -284,7 +284,7 @@ public final class EditStrategies extends javax.swing.JDialog {

        }

-        System.out.printf("Base %s\n", base);
+        Globals.LOGGER.info(String.format("Base %s\n", base));

        ac = Globals.tloader.getStrategyBase(base);
        if (ac == null) {