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 { |