diff options
author | 2021-10-20 01:49:14 +0200 | |
---|---|---|
committer | 2021-10-31 19:26:11 +0100 | |
commit | 7732fedb5933bdc699cd1ef22a766397d5a701d2 (patch) | |
tree | 691b0461ee763c0060f901f306a7fd99d756fcce /language-web/src/test/java/tools/refinery/language/web/xtext/servlet/ProblemWebInjectorProvider.java | |
parent | feat(web): batched xtext websocket prototype (diff) | |
download | refinery-7732fedb5933bdc699cd1ef22a766397d5a701d2.tar.gz refinery-7732fedb5933bdc699cd1ef22a766397d5a701d2.tar.zst refinery-7732fedb5933bdc699cd1ef22a766397d5a701d2.zip |
feat(web): push precomputed service results
Diffstat (limited to 'language-web/src/test/java/tools/refinery/language/web/xtext/servlet/ProblemWebInjectorProvider.java')
-rw-r--r-- | language-web/src/test/java/tools/refinery/language/web/xtext/servlet/ProblemWebInjectorProvider.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/language-web/src/test/java/tools/refinery/language/web/xtext/servlet/ProblemWebInjectorProvider.java b/language-web/src/test/java/tools/refinery/language/web/xtext/servlet/ProblemWebInjectorProvider.java index 3493c9eb..a6d97c8b 100644 --- a/language-web/src/test/java/tools/refinery/language/web/xtext/servlet/ProblemWebInjectorProvider.java +++ b/language-web/src/test/java/tools/refinery/language/web/xtext/servlet/ProblemWebInjectorProvider.java | |||
@@ -26,7 +26,7 @@ public class ProblemWebInjectorProvider extends ProblemInjectorProvider { | |||
26 | 26 | ||
27 | protected ProblemWebModule createWebModule() { | 27 | protected ProblemWebModule createWebModule() { |
28 | // Await termination of the executor service to avoid race conditions between | 28 | // Await termination of the executor service to avoid race conditions between |
29 | // between the tasks in the service and the {@link | 29 | // the tasks in the service and the {@link |
30 | // org.eclipse.xtext.testing.extensions.InjectionExtension}. | 30 | // org.eclipse.xtext.testing.extensions.InjectionExtension}. |
31 | return new ProblemWebModule() { | 31 | return new ProblemWebModule() { |
32 | @SuppressWarnings("unused") | 32 | @SuppressWarnings("unused") |