From 4b01722693e505f681ffd2475ab63e32e5cc794d Mon Sep 17 00:00:00 2001
From: Mathieu Baudier <mbaudier@argeo.org>
Date: Sun, 17 Dec 2023 15:09:31 +0100
Subject: [PATCH] Clear server push session on shutdown

---
 .../src/org/argeo/cms/web/CmsWebEntryPoint.java                 | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/swt/rap/org.argeo.cms.swt.rap/src/org/argeo/cms/web/CmsWebEntryPoint.java b/swt/rap/org.argeo.cms.swt.rap/src/org/argeo/cms/web/CmsWebEntryPoint.java
index 238975543..9c94da8f3 100644
--- a/swt/rap/org.argeo.cms.swt.rap/src/org/argeo/cms/web/CmsWebEntryPoint.java
+++ b/swt/rap/org.argeo.cms.swt.rap/src/org/argeo/cms/web/CmsWebEntryPoint.java
@@ -302,6 +302,8 @@ public class CmsWebEntryPoint extends AbstractSwtCmsView implements EntryPoint,
 					continue eventLoop;
 				}
 			}
+			if (serverPushSession != null)
+				serverPushSession.stop();
 			if (!display.isDisposed())
 				display.dispose();
 		}
-- 
2.30.2