diff options
Diffstat (limited to 'language-web/src/main/java/org/eclipse/viatra/solver/language/web/ServerLauncher.java')
-rw-r--r-- | language-web/src/main/java/org/eclipse/viatra/solver/language/web/ServerLauncher.java | 5 |
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 { | |||
85 | 85 | ||
86 | public static void main(String[] args) { | 86 | public static void main(String[] args) { |
87 | String listenAddress = System.getenv("LiSTEN_ADDRESS"); | 87 | String listenAddress = System.getenv("LiSTEN_ADDRESS"); |
88 | int port = 8080; | 88 | if (listenAddress == null) { |
89 | listenAddress = "localhost"; | ||
90 | } | ||
91 | int port = 1312; | ||
89 | String portStr = System.getenv("LISTEN_PORT"); | 92 | String portStr = System.getenv("LISTEN_PORT"); |
90 | if (portStr != null) { | 93 | if (portStr != null) { |
91 | try { | 94 | try { |