From 4e49664f7946c8a438d1d041ea660cc1e7468d27 Mon Sep 17 00:00:00 2001
From: Claus-Justus Heine <himself@claus-justus-heine.de>
Date: Mon, 21 Feb 2022 00:02:06 +0100
Subject: [PATCH] Try fix #31248 by flushing session before re-opening it.

---
 lib/private/Session/Internal.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lib/private/Session/Internal.php b/lib/private/Session/Internal.php
index 87dd5ed60145c..cae139018f896 100644
--- a/lib/private/Session/Internal.php
+++ b/lib/private/Session/Internal.php
@@ -107,6 +107,7 @@ public function clear() {
 		$this->reopen();
 		$this->invoke('session_unset');
 		$this->regenerateId();
+		$this->invoke('session_write_close');
 		$this->startSession(true);
 		$_SESSION = [];
 	}