diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2021-10-20 01:49:14 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 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") |