From cc6f9c24760d590618d2dc412278d696bb3aaa0c 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 285b6fd796037..400dc251cfd84 100644
--- a/lib/private/Session/Internal.php
+++ b/lib/private/Session/Internal.php
@@ -103,6 +103,7 @@ public function remove(string $key) {
 	public function clear() {
 		$this->invoke('session_unset');
 		$this->regenerateId();
+		$this->invoke('session_write_close');
 		$this->startSession(true);
 		$_SESSION = [];
 	}