remove the user from the users array on quit
authorpk910 <philipp@zoelle1.de>
Thu, 28 Jul 2011 08:21:39 +0000 (10:21 +0200)
committerpk910 <philipp@zoelle1.de>
Thu, 28 Jul 2011 08:21:39 +0000 (10:21 +0200)
Uplink/P10_User.class.php

index f18080a576a9fa5e5f58980acb6b1f178eeb4768..552c3e45fc63e7c09a7263c728857b87e0a7fce1 100644 (file)
@@ -144,6 +144,7 @@ class P10_User {
        
        public function quit($reason) {
                $this->server->delUser($this);
+               unset(self::$static_users[$this->numeric]);
                foreach($this->channels as $channel) {
                        $channel->quitUser($this);
                }