diff options
author | 2021-09-20 02:11:46 +0200 | |
---|---|---|
committer | 2021-09-20 02:16:23 +0200 | |
commit | 29fec79e948c18493887a627255bd830bd84ec5a (patch) | |
tree | 6688c2a50acb191e5432e2781206dae222b3ca9a /language/src/main/java/org/eclipse | |
parent | Allow launching server from Eclipse (diff) | |
download | refinery-29fec79e948c18493887a627255bd830bd84ec5a.tar.gz refinery-29fec79e948c18493887a627255bd830bd84ec5a.tar.zst refinery-29fec79e948c18493887a627255bd830bd84ec5a.zip |
Refactor ServerLauncher
Diffstat (limited to 'language/src/main/java/org/eclipse')
-rw-r--r-- | language/src/main/java/org/eclipse/viatra/solver/language/GenerateProblem.mwe2 | 3 |
1 files changed, 3 insertions, 0 deletions
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 { | |||
53 | webSupport = ProblemWebIntegrationFragment { | 53 | webSupport = ProblemWebIntegrationFragment { |
54 | highlightingPath = "js/mode-problem.js" | 54 | highlightingPath = "js/mode-problem.js" |
55 | generateHtmlExample = false | 55 | generateHtmlExample = false |
56 | generateJettyLauncher = false | ||
57 | generateServlet = false | ||
58 | generateWebXml = false | ||
56 | } | 59 | } |
57 | } | 60 | } |
58 | } | 61 | } |