diff options
author | Kristóf Marussy <kristof@marussy.com> | 2023-04-09 01:17:26 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2023-04-09 01:17:26 +0200 |
commit | e4877cbd739ef64fc2979aa0c5427e13b02c11fb (patch) | |
tree | 9cc67d34b43e38ea066eaad993cb62cf2f1c0e22 /subprojects/language-web/src/main | |
parent | build: add clobberEclipse task (diff) | |
download | refinery-e4877cbd739ef64fc2979aa0c5427e13b02c11fb.tar.gz refinery-e4877cbd739ef64fc2979aa0c5427e13b02c11fb.tar.zst refinery-e4877cbd739ef64fc2979aa0c5427e13b02c11fb.zip |
chore(web): fix lint errors
Diffstat (limited to 'subprojects/language-web/src/main')
2 files changed, 2 insertions, 2 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 f49f46ee..d40e50af 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 | |||
@@ -105,7 +105,7 @@ public class ServerLauncher { | |||
105 | var indexUrlInJar = ServerLauncher.class.getResource("/webapp/index.html"); | 105 | var indexUrlInJar = ServerLauncher.class.getResource("/webapp/index.html"); |
106 | if (indexUrlInJar != null) { | 106 | if (indexUrlInJar != null) { |
107 | // If the app is packaged in the jar, serve it. | 107 | // If the app is packaged in the jar, serve it. |
108 | URI webRootUri = null; | 108 | URI webRootUri; |
109 | try { | 109 | try { |
110 | webRootUri = URI.create(indexUrlInJar.toURI().toASCIIString().replaceFirst("/index.html$", "/")); | 110 | webRootUri = URI.create(indexUrlInJar.toURI().toASCIIString().replaceFirst("/index.html$", "/")); |
111 | } catch (URISyntaxException e) { | 111 | } catch (URISyntaxException e) { |
diff --git a/subprojects/language-web/src/main/java/tools/refinery/language/web/config/BackendConfigServlet.java b/subprojects/language-web/src/main/java/tools/refinery/language/web/config/BackendConfigServlet.java index f314a9fa..47e8de7c 100644 --- a/subprojects/language-web/src/main/java/tools/refinery/language/web/config/BackendConfigServlet.java +++ b/subprojects/language-web/src/main/java/tools/refinery/language/web/config/BackendConfigServlet.java | |||
@@ -29,7 +29,7 @@ public class BackendConfigServlet extends HttpServlet { | |||
29 | } | 29 | } |
30 | 30 | ||
31 | @Override | 31 | @Override |
32 | protected void doGet(HttpServletRequest req, HttpServletResponse resp) throws ServletException, IOException { | 32 | protected void doGet(HttpServletRequest req, HttpServletResponse resp) throws IOException { |
33 | resp.setStatus(HttpStatus.OK_200); | 33 | resp.setStatus(HttpStatus.OK_200); |
34 | resp.setContentType("application/json"); | 34 | resp.setContentType("application/json"); |
35 | var writer = resp.getWriter(); | 35 | var writer = resp.getWriter(); |