From 32b45c00d383a59b200d843bc9772c1501f29ded Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Sun, 19 Sep 2021 19:10:53 +0200 Subject: Allow running ServerLauncher from Eclipse --- .../java/org/eclipse/viatra/solver/language/web/ServerLauncher.java | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'language-web') 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 @@ */ package org.eclipse.viatra.solver.language.web; +import java.io.File; import java.io.IOException; import java.net.InetSocketAddress; import java.net.URI; @@ -62,7 +63,8 @@ public class ServerLauncher { } var indexUrlInJar = ServerLauncher.class.getResource("/webapp/index.html"); if (indexUrlInJar == null) { - throw new IOException("Cannot find pacakged web assets"); + var workingPath = new String[] { System.getProperty("user.dir"), "build", "webpack", "development", }; + return Resource.newResource(new File(String.join(File.separator, workingPath))); } var webRootUri = URI.create(indexUrlInJar.toURI().toASCIIString().replaceFirst("/index.html$", "/")); return Resource.newResource(webRootUri); -- cgit v1.2.3-70-g09d2