1 files changed, 0 insertions, 3 deletions

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 a2f04e34..7d0a5122 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
@@ -25,9 +25,6 @@ public class BackendConfigServlet extends HttpServlet {
         public void init(ServletConfig config) throws ServletException {
                 super.init(config);
                 var webSocketUrl = config.getInitParameter(WEBSOCKET_URL_INIT_PARAM);
-                if (webSocketUrl == null) {
-                        throw new IllegalArgumentException("Init parameter " + WEBSOCKET_URL_INIT_PARAM + " is mandatory");
-                }
                 var backendConfig = new BackendConfig(webSocketUrl);
                 var gson = new Gson();
                 serializedConfig = gson.toJson(backendConfig);