aboutsummaryrefslogtreecommitdiffstats
path: root/language-web
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <marussy@mit.bme.hu>2021-09-19 19:10:53 +0200
committerLibravatar Kristóf Marussy <marussy@mit.bme.hu>2021-09-19 19:10:53 +0200
commit32b45c00d383a59b200d843bc9772c1501f29ded (patch)
treea38d147f0f243aa0c2c742b5f650bc4728d2060b /language-web
parentMake language-model gets the Xtext nature (diff)
downloadrefinery-32b45c00d383a59b200d843bc9772c1501f29ded.tar.gz
refinery-32b45c00d383a59b200d843bc9772c1501f29ded.tar.zst
refinery-32b45c00d383a59b200d843bc9772c1501f29ded.zip
Allow running ServerLauncher from Eclipse
Diffstat (limited to 'language-web')
-rw-r--r--language-web/src/main/java/org/eclipse/viatra/solver/language/web/ServerLauncher.java4
1 files changed, 3 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 2c0413df..a9017264 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
@@ -3,6 +3,7 @@
3 */ 3 */
4package org.eclipse.viatra.solver.language.web; 4package org.eclipse.viatra.solver.language.web;
5 5
6import java.io.File;
6import java.io.IOException; 7import java.io.IOException;
7import java.net.InetSocketAddress; 8import java.net.InetSocketAddress;
8import java.net.URI; 9import java.net.URI;
@@ -62,7 +63,8 @@ public class ServerLauncher {
62 } 63 }
63 var indexUrlInJar = ServerLauncher.class.getResource("/webapp/index.html"); 64 var indexUrlInJar = ServerLauncher.class.getResource("/webapp/index.html");
64 if (indexUrlInJar == null) { 65 if (indexUrlInJar == null) {
65 throw new IOException("Cannot find pacakged web assets"); 66 var workingPath = new String[] { System.getProperty("user.dir"), "build", "webpack", "development", };
67 return Resource.newResource(new File(String.join(File.separator, workingPath)));
66 } 68 }
67 var webRootUri = URI.create(indexUrlInJar.toURI().toASCIIString().replaceFirst("/index.html$", "/")); 69 var webRootUri = URI.create(indexUrlInJar.toURI().toASCIIString().replaceFirst("/index.html$", "/"));
68 return Resource.newResource(webRootUri); 70 return Resource.newResource(webRootUri);