diff options
| author |  Kristóf Marussy <marussy@mit.bme.hu> | 2021-09-20 02:11:46 +0200 |
|---|---|---|
| committer | Kristóf Marussy <marussy@mit.bme.hu> | 2021-09-20 02:16:23 +0200 |
| commit | 29fec79e948c18493887a627255bd830bd84ec5a (patch) | |
| tree | 6688c2a50acb191e5432e2781206dae222b3ca9a /language | |
| 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')
| -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 | } |