diff options
author | Kristóf Marussy <marussy@mit.bme.hu> | 2021-06-29 19:48:24 +0200 |
---|---|---|
committer | Kristóf Marussy <marussy@mit.bme.hu> | 2021-06-29 19:48:24 +0200 |
commit | 95a90faf2d2e099a2f4afe976c0dceb7ad2b08b9 (patch) | |
tree | ae67dc45389b1c04e90baf67bef8b4db849f0a99 /language-web/src/main | |
parent | Generate all files on build (diff) | |
download | refinery-95a90faf2d2e099a2f4afe976c0dceb7ad2b08b9.tar.gz refinery-95a90faf2d2e099a2f4afe976c0dceb7ad2b08b9.tar.zst refinery-95a90faf2d2e099a2f4afe976c0dceb7ad2b08b9.zip |
Add hot module replacement for development
Diffstat (limited to 'language-web/src/main')
-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 { |