1 files changed, 4 insertions, 1 deletions

diff --git a/language-web/src/main/java/org/eclipse/viatra/solver/language/web/ServerLauncher.java b/language-web/src/main/java/org/eclipse/viatra/solver/language/web/ServerLauncher.java
index 7127d7d5..0be3a36d 100644
--- a/language-web/src/main/java/org/eclipse/viatra/solver/language/web/ServerLauncher.java
+++ b/language-web/src/main/java/org/eclipse/viatra/solver/language/web/ServerLauncher.java
@@ -85,7 +85,10 @@ public class ServerLauncher {
 
         public static void main(String[] args) {
                 String listenAddress = System.getenv("LiSTEN_ADDRESS");
-                int port = 8080;
+                if (listenAddress == null) {
+                        listenAddress = "localhost";
+                }
+                int port = 1312;
                 String portStr = System.getenv("LISTEN_PORT");
                 if (portStr != null) {
                         try {