Index: empserver/src/lib/subs/pr.c
---- empserver/src/lib/subs/pr.c 14 Jun 2005 05:01:26 -0000 1.25
-+++ empserver/src/lib/subs/pr.c 15 Jun 2005 12:46:17 -0000
-@@ -63,6 +63,13 @@
+--- empserver/src/lib/subs/pr.c 24 Jul 2005 17:26:21 -0000 1.27
++++ empserver/src/lib/subs/pr.c 11 Aug 2005 09:14:25 -0000
+@@ -66,6 +66,13 @@
static void upr_player(struct player *pl, int id, char *buf);
static void outid(struct player *pl, int n);
/*
* Print to current player similar to printf().
* Use printf-style FORMAT with the optional arguments.
-@@ -338,7 +345,7 @@
+@@ -341,7 +348,7 @@
void
prprompt(int min, int btu)
{