]> git.pond.sub.org Git - empserver/search
(player_login): Replace pr_player() by equivalent pr_id().