Create EngineServer Java program

This program can be run on a PC and works as an engine server that DroidFish can connect to using its "network engine" feature.
2025-12-10 08:02:40 +01:00 · 2019-05-18 21:20:27 +02:00
parent 490bacfce0
commit fa9cf93245
8 changed files with 694 additions and 1 deletions
--- a/EngineServer/src/main/java/org/petero/engineserver/EngineServer.java
+++ b/EngineServer/src/main/java/org/petero/engineserver/EngineServer.java
@@ -0,0 +1,134 @@
+/*
+    EngineServer - Network engine server for DroidFish
+    Copyright (C) 2019  Peter Österlund, peterosterlund2@gmail.com
+
+    This program is free software: you can redistribute it and/or modify
+    it under the terms of the GNU General Public License as published by
+    the Free Software Foundation, either version 3 of the License, or
+    (at your option) any later version.
+
+    This program is distributed in the hope that it will be useful,
+    but WITHOUT ANY WARRANTY; without even the implied warranty of
+    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+    GNU General Public License for more details.
+
+    You should have received a copy of the GNU General Public License
+    along with this program.  If not, see <http://www.gnu.org/licenses/>.
+*/
+
+package org.petero.engineserver;
+
+import java.io.File;
+import java.io.FileInputStream;
+import java.io.FileOutputStream;
+import java.io.IOException;
+import java.io.InputStream;
+import java.io.OutputStream;
+import java.util.Properties;
+
+
+/** Manages starting and stopping PortListeners. */
+public class EngineServer implements ErrorHandler {
+    private EngineConfig[] configs;
+    private PortListener[] portListeners;
+    private MainWindow window;
+
+    public EngineServer(int numEngines) {
+        configs = new EngineConfig[numEngines];
+        portListeners = new PortListener[numEngines];
+        for (int i = 0; i < numEngines; i++) {
+            configs[i] = new EngineConfig(false, 4567 + i, "", "");
+        }
+        readConfig();
+        for (int i = 0; i < numEngines; i++)
+            configChanged(i);
+    }
+
+    private File getConfigFile() {
+        String home = System.getProperty("user.home");
+        return new File(home, ".engineServer.ini");
+    }
+
+    private void readConfig() {
+        try {
+            Properties prop = new Properties();
+            InputStream is = new FileInputStream(getConfigFile());
+            prop.load(is);
+            for (int i = 0; i < configs.length; i++) {
+                boolean enabled = Boolean.valueOf(prop.getProperty("enabled" + i, "false"));
+                String defPort = Integer.toString(4567 + i);
+                int port = Integer.valueOf(prop.getProperty("port" + i, defPort));
+                String filename = prop.getProperty("filename" + i, "");
+                String arguments = prop.getProperty("arguments" + i, "");
+                configs[i] = new EngineConfig(enabled, port, filename, arguments);
+            }
+        } catch (IOException ignore) {
+        } catch (NumberFormatException ignore) {
+        }
+    }
+
+    private void writeConfig() {
+        Properties prop = new Properties();
+        for (int i = 0; i < configs.length; i++) {
+            EngineConfig config = configs[i];
+            String enabled = config.enabled ? "true" : "false";
+            String port = Integer.toString(config.port);
+            String filename = config.filename;
+            String arguments = config.arguments;
+            prop.setProperty("enabled" + i, enabled);
+            prop.setProperty("port" + i, port);
+            prop.setProperty("filename" + i, filename);
+            prop.setProperty("arguments" + i, arguments);
+        }
+        try {
+            OutputStream os = new FileOutputStream(getConfigFile());
+            prop.store(os, "Created by EngineServer for DroidFish");
+        } catch (IOException ignore) {
+        }
+    }
+
+    private void run() {
+        window = new MainWindow(this, configs);
+    }
+
+    public void configChanged(int engineNo) {
+        EngineConfig config = configs[engineNo];
+        if (portListeners[engineNo] != null) {
+            portListeners[engineNo].shutdown();
+            portListeners[engineNo] = null;
+        }
+        if (config.enabled)
+            portListeners[engineNo] = new PortListener(config, this);
+    }
+
+    public void shutdown() {
+        writeConfig();
+        for (PortListener pl : portListeners)
+            if (pl != null)
+                pl.shutdown();
+        System.exit(0);
+    }
+
+    public static void main(String[] args) {
+        int numEngines = 8;
+        if (args.length > 0) {
+            try {
+                numEngines = Integer.valueOf(args[0]);
+                numEngines = Math.max(1, numEngines);
+                numEngines = Math.min(20, numEngines);
+            } catch (NumberFormatException ignore) {
+            }
+        }
+        EngineServer server = new EngineServer(numEngines);
+        server.run();
+    }
+
+    @Override
+    public void reportError(String title, String message) {
+        if (window != null) {
+            window.reportError(title, message);
+        } else {
+            System.err.printf("%s\n%s\n", title, message);
+        }
+    }
+}