(player_login): Replace pr_player() by equivalent pr_id().

(pr_player, upr_player): Internal linkage.

(pr_hilite): Unused, remove.
This commit is contained in:
Markus Armbruster 2005-06-13 19:05:37 +00:00
parent 71e164ed30
commit 65b6eaeee5
3 changed files with 5 additions and 26 deletions

View file

@ -101,7 +101,7 @@ player_login(void *ud)
}
player->state = PS_SHUTDOWN;
if (!io_eof(player->iop)) {
pr_player(player, C_EXIT, "so long...\n");
pr_id(player, C_EXIT, "so long...\n");
io_noblocking(player->iop, 0);
while (io_output(player->iop, IO_WAIT) > 0) ;
}