diff options
author | Kristóf Marussy <kristof@marussy.com> | 2023-09-03 23:43:41 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2023-09-03 23:43:41 +0200 |
commit | 5337f46fbeacd8e188605eaf0af62b651c5f8517 (patch) | |
tree | 3f25c2cddf468bcb30f298daac83674101c4cae9 /subprojects/language-web/src/main | |
parent | feat(frontend): hide object scopes by default (diff) | |
download | refinery-5337f46fbeacd8e188605eaf0af62b651c5f8517.tar.gz refinery-5337f46fbeacd8e188605eaf0af62b651c5f8517.tar.zst refinery-5337f46fbeacd8e188605eaf0af62b651c5f8517.zip |
build: add Dockerfile
Diffstat (limited to 'subprojects/language-web/src/main')
-rw-r--r-- | subprojects/language-web/src/main/java/tools/refinery/language/web/ServerLauncher.java | 5 |
1 files changed, 4 insertions, 1 deletions
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 { | |||
115 | // If the app is packaged in the jar, serve it. | 115 | // If the app is packaged in the jar, serve it. |
116 | URI webRootUri; | 116 | URI webRootUri; |
117 | try { | 117 | try { |
118 | webRootUri = URI.create(indexUrlInJar.toURI().toASCIIString().replaceFirst("/index.html$", "/")); | 118 | webRootUri = URI.create(indexUrlInJar.toURI().toASCIIString() |
119 | .replaceFirst("/index.html$", "/") | ||
120 | // Enable running without warnings from a jar. | ||
121 | .replaceFirst("^jar:file:", "jar:file://")); | ||
119 | } catch (URISyntaxException e) { | 122 | } catch (URISyntaxException e) { |
120 | throw new IllegalStateException("Jar has invalid base resource URI", e); | 123 | throw new IllegalStateException("Jar has invalid base resource URI", e); |
121 | } | 124 | } |