Clean up server push

diff --git a/swt/org.argeo.app.ui/src/org/argeo/app/ui/widgets/DelayedText.java b/swt/org.argeo.app.ui/src/org/argeo/app/ui/widgets/DelayedText.java
index ecf66396868364ba893c187a5dbf0014babe04bd..a22d74b4a40d6b8b59ddd0dfb5ff10dd0b784803 100644 (file)
--- a/swt/org.argeo.app.ui/src/org/argeo/app/ui/widgets/DelayedText.java
+++ b/swt/org.argeo.app.ui/src/org/argeo/app/ui/widgets/DelayedText.java
@@ -50,8 +50,9 @@ public class DelayedText {
                this.delay = delayInMs;
                this.modifyListener = new InternalModifyListener();
                pushSession = new ServerPushSession();
-               pushSession.start();
                text = new Text(parent, style);
+               pushSession.start();
+               text.addDisposeListener((e) -> pushSession.stop());
                text.addModifyListener(modifyListener);
        }