From 5337f46fbeacd8e188605eaf0af62b651c5f8517 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Sun, 3 Sep 2023 23:43:41 +0200 Subject: build: add Dockerfile --- .../src/main/java/tools/refinery/language/web/ServerLauncher.java | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'subprojects/language-web/src') diff --git a/subprojects/language-web/src/main/java/tools/refinery/language/web/ServerLauncher.java b/subprojects/language-web/src/main/java/tools/refinery/language/web/ServerLauncher.java index ad19e77d..3e1d811b 100644 --- a/subprojects/language-web/src/main/java/tools/refinery/language/web/ServerLauncher.java +++ b/subprojects/language-web/src/main/java/tools/refinery/language/web/ServerLauncher.java @@ -115,7 +115,10 @@ public class ServerLauncher { // If the app is packaged in the jar, serve it. URI webRootUri; try { - webRootUri = URI.create(indexUrlInJar.toURI().toASCIIString().replaceFirst("/index.html$", "/")); + webRootUri = URI.create(indexUrlInJar.toURI().toASCIIString() + .replaceFirst("/index.html$", "/") + // Enable running without warnings from a jar. + .replaceFirst("^jar:file:", "jar:file://")); } catch (URISyntaxException e) { throw new IllegalStateException("Jar has invalid base resource URI", e); } -- cgit v1.2.3-54-g00ecf