From 29fec79e948c18493887a627255bd830bd84ec5a Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <marussy@mit.bme.hu>
Date: Mon, 20 Sep 2021 02:11:46 +0200
Subject: Refactor ServerLauncher

---
 .../main/java/org/eclipse/viatra/solver/language/GenerateProblem.mwe2  | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'language')

diff --git a/language/src/main/java/org/eclipse/viatra/solver/language/GenerateProblem.mwe2 b/language/src/main/java/org/eclipse/viatra/solver/language/GenerateProblem.mwe2
index ca3e2665..9b0bcd41 100644
--- a/language/src/main/java/org/eclipse/viatra/solver/language/GenerateProblem.mwe2
+++ b/language/src/main/java/org/eclipse/viatra/solver/language/GenerateProblem.mwe2
@@ -53,6 +53,9 @@ Workflow {
 			webSupport = ProblemWebIntegrationFragment {
 				highlightingPath = "js/mode-problem.js"
 				generateHtmlExample = false
+				generateJettyLauncher = false
+				generateServlet = false
+				generateWebXml = false
 			}
 		}
 	}
-- 
cgit v1.2.3-54-g00ecf