diff options
Diffstat (limited to 'subprojects/language-web/src/main/java/tools/refinery/language/web/ProblemWebModule.java')
-rw-r--r-- | subprojects/language-web/src/main/java/tools/refinery/language/web/ProblemWebModule.java | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/subprojects/language-web/src/main/java/tools/refinery/language/web/ProblemWebModule.java b/subprojects/language-web/src/main/java/tools/refinery/language/web/ProblemWebModule.java index b0197c01..6a6e0107 100644 --- a/subprojects/language-web/src/main/java/tools/refinery/language/web/ProblemWebModule.java +++ b/subprojects/language-web/src/main/java/tools/refinery/language/web/ProblemWebModule.java | |||
@@ -9,11 +9,13 @@ | |||
9 | */ | 9 | */ |
10 | package tools.refinery.language.web; | 10 | package tools.refinery.language.web; |
11 | 11 | ||
12 | import org.eclipse.xtext.ide.ExecutorServiceProvider; | ||
12 | import org.eclipse.xtext.web.server.XtextServiceDispatcher; | 13 | import org.eclipse.xtext.web.server.XtextServiceDispatcher; |
13 | import org.eclipse.xtext.web.server.model.IWebDocumentProvider; | 14 | import org.eclipse.xtext.web.server.model.IWebDocumentProvider; |
14 | import org.eclipse.xtext.web.server.model.XtextWebDocumentAccess; | 15 | import org.eclipse.xtext.web.server.model.XtextWebDocumentAccess; |
15 | import org.eclipse.xtext.web.server.occurrences.OccurrencesService; | 16 | import org.eclipse.xtext.web.server.occurrences.OccurrencesService; |
16 | import tools.refinery.language.web.occurrences.ProblemOccurrencesService; | 17 | import tools.refinery.language.web.occurrences.ProblemOccurrencesService; |
18 | import tools.refinery.language.web.xtext.server.ThreadPoolExecutorServiceProvider; | ||
17 | import tools.refinery.language.web.xtext.server.push.PushServiceDispatcher; | 19 | import tools.refinery.language.web.xtext.server.push.PushServiceDispatcher; |
18 | import tools.refinery.language.web.xtext.server.push.PushWebDocumentAccess; | 20 | import tools.refinery.language.web.xtext.server.push.PushWebDocumentAccess; |
19 | import tools.refinery.language.web.xtext.server.push.PushWebDocumentProvider; | 21 | import tools.refinery.language.web.xtext.server.push.PushWebDocumentProvider; |
@@ -37,4 +39,8 @@ public class ProblemWebModule extends AbstractProblemWebModule { | |||
37 | public Class<? extends OccurrencesService> bindOccurrencesService() { | 39 | public Class<? extends OccurrencesService> bindOccurrencesService() { |
38 | return ProblemOccurrencesService.class; | 40 | return ProblemOccurrencesService.class; |
39 | } | 41 | } |
42 | |||
43 | public Class<? extends ExecutorServiceProvider> bindExecutorServiceProvider() { | ||
44 | return ThreadPoolExecutorServiceProvider.class; | ||
45 | } | ||
40 | } | 46 | } |