--- server/stdinhand.c.orig	Tue Oct  8 13:15:14 2002
+++ server/stdinhand.c	Tue Oct  8 13:31:28 2002
@@ -3074,7 +3074,7 @@
      * newline in str when it comes from the server command line
      */
     notify_player(NULL, "%s: '%s %s'",
-      caller ? caller->name : "(server prompt)", command, arg);
+      caller ? caller->name : _("(server prompt)"), command, arg);
   }
 
   switch(cmd) {