diff options
Diffstat (limited to 'subprojects/language-web/src')
-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 | } |