diff options
Diffstat (limited to 'subprojects/language-web/src/main/java')
-rw-r--r-- | subprojects/language-web/src/main/java/tools/refinery/language/web/xtext/server/push/PushWebDocumentProvider.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/subprojects/language-web/src/main/java/tools/refinery/language/web/xtext/server/push/PushWebDocumentProvider.java b/subprojects/language-web/src/main/java/tools/refinery/language/web/xtext/server/push/PushWebDocumentProvider.java index fc45f74a..b6f04748 100644 --- a/subprojects/language-web/src/main/java/tools/refinery/language/web/xtext/server/push/PushWebDocumentProvider.java +++ b/subprojects/language-web/src/main/java/tools/refinery/language/web/xtext/server/push/PushWebDocumentProvider.java | |||
@@ -12,7 +12,7 @@ import com.google.inject.Singleton; | |||
12 | /** | 12 | /** |
13 | * Based on | 13 | * Based on |
14 | * {@link org.eclipse.xtext.web.server.model.IWebDocumentProvider.DefaultImpl}. | 14 | * {@link org.eclipse.xtext.web.server.model.IWebDocumentProvider.DefaultImpl}. |
15 | * | 15 | * |
16 | * @author Kristóf Marussy | 16 | * @author Kristóf Marussy |
17 | */ | 17 | */ |
18 | @Singleton | 18 | @Singleton |
@@ -23,7 +23,7 @@ public class PushWebDocumentProvider implements IWebDocumentProvider { | |||
23 | @Override | 23 | @Override |
24 | public XtextWebDocument get(String resourceId, IServiceContext serviceContext) { | 24 | public XtextWebDocument get(String resourceId, IServiceContext serviceContext) { |
25 | if (resourceId == null) { | 25 | if (resourceId == null) { |
26 | return new XtextWebDocument(resourceId, synchronizerProvider.get()); | 26 | return new XtextWebDocument(null, synchronizerProvider.get()); |
27 | } else { | 27 | } else { |
28 | // We only need to send push messages if a resourceId is specified. | 28 | // We only need to send push messages if a resourceId is specified. |
29 | return new PushWebDocument(resourceId, | 29 | return new PushWebDocument(resourceId, |