delete the cookie when player log out

pmmp · Sep 20, 2024 · bd80d49 · bd80d49
1 parent 0e8b732
commit bd80d49
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/src/server/Server.php b/src/server/Server.php
@@ -179,6 +179,9 @@ private function tick() : void{
 		foreach($this->sessions as $session){
 			$session->update($time);
 			if($session->isFullyDisconnected()){
+				if ($this->getCookie() instanceof CookieCache) {
+					$this->getCookie()->remove($session->getAddress());
+				}
 				$this->removeSessionInternal($session);
 			}
 		}

diff --git a/src/utils/CookieCache.php b/src/utils/CookieCache.php
@@ -46,6 +46,13 @@ public function add(InternetAddress $address) : int{
 		return $cookie;
 	}
 
+	public function remove(InternetAddress $address) : void{
+		$addressStr = $address->toString();
+		if (isset($this->cookies[$addressStr])) {
+			unset($this->cookies[$addressStr]);
+		}
+	}
+
 	private function generate(InternetAddress $address) : int{
 		return random_int(0, Limits::UINT32_MAX);
 	}