+void load_default_msg() {
+ /* FIXME: want this message to be changeable from the server */
+ set_msg("UNIVERSITY COMPUTER CLUB *** INSERT COINS OR USER-ID *** ",
+ WRAP_SCROLL);
+}
+
+void service_menu() {
+ while (door_open()) { /* don't quit until door is closed */
+
+ }
+}
+