From: Mathieu Baudier <mbaudier@argeo.org>
Date: Sun, 17 Dec 2023 14:09:31 +0000 (+0100)
Subject: Clear server push session on shutdown
X-Git-Tag: v2.3.27~3
X-Git-Url: https://git.argeo.org/?p=lgpl%2Fargeo-commons.git;a=commitdiff_plain;h=4b01722693e505f681ffd2475ab63e32e5cc794d

Clear server push session on shutdown
---

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();
 		}