1 files changed, 2 insertions, 7 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 b6f4fb43..ec6204ef 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
@@ -27,12 +27,7 @@ public class PushWebDocumentProvider implements IWebDocumentProvider {
 
         @Override
         public XtextWebDocument get(String resourceId, IServiceContext serviceContext) {
-                if (resourceId == null) {
-                        return new XtextWebDocument(null, synchronizerProvider.get());
-                } else {
-                        // We only need to send push messages if a resourceId is specified.
-                        return new PushWebDocument(resourceId,
-                                        serviceContext.getSession().get(DocumentSynchronizer.class, () -> this.synchronizerProvider.get()));
-                }
+                return new PushWebDocument(resourceId,
+                                serviceContext.getSession().get(DocumentSynchronizer.class, () -> this.synchronizerProvider.get()));
         }
 }