+
+ public function addUser($user) {
+ $this->users[$user->getNumeric()] = $user;
+ }
+
+ public function delUser($user) {
+ if(array_key_exists($user->getNumeric(), $this->users)) {
+ unset($this->users[$user->getNumeric()]);
+ } else {
+ trigger_error("Tried to remove a User, that does NOT exist.", E_USER_WARNING);
+ }
+ }