*/
+#if 0
/*
* Display a list of users currently logged in to the system
* /
"}\n"
"</script>\n", _("Do you really want to kill this session?")
);
+#endif
wprintf("<div id=\"banner\">\n");
wprintf("<div class=\"room_banner\">");
wDumpContent(1);
}
*/
+#endif
/*
* end session