From 7887285f366a3410b157872d812cbb19d040c99c Mon Sep 17 00:00:00 2001
From: rswindell <>
Date: Sat, 10 Nov 2001 21:51:28 +0000
Subject: [PATCH] Beautified the user/node listing a bit.
---
exec/fingerservice.js | 10 +++++++---
1 file changed, 7 insertions(+), 3 deletions(-)
diff --git a/exec/fingerservice.js b/exec/fingerservice.js
index 97d7bdef3f..f495db177c 100644
--- a/exec/fingerservice.js
+++ b/exec/fingerservice.js
@@ -33,14 +33,18 @@ while(request.charAt(0)==' ') // skip prepended spaces
if(request=="") { /* no specific user requested, give list of active users */
log("client requested active user list");
- write(format("%-25.25s %-40.40s Node Age Sex\r\n","Name","Action"));
- write("-------------------------------------------------------------------------------\r\n");
+ write(format("%-25.25s %-40.40s Node Age Sex\r\n"
+ ,"Name","Action"));
+ var dashes="---------------------------------------";
+ write(format("%-25.25s %-40.40s %.4s %.3s %.3s\r\n"
+ ,dashes,dashes,dashes,dashes,dashes));
var user = new User(1);
for(n=0;n<system.node_list.length;n++) {
if(system.node_list[n].status!=NODE_INUSE)
continue;
user.number=system.node_list[n].useron;
- var action=format(NodeAction[system.node_list[n].action],system.node_list[n].aux);
+ var action=format(NodeAction[system.node_list[n].action]
+ ,system.node_list[n].aux);
write(format("%-25.25s %-40.40s %4d %3d %3s\r\n"
,user.alias
,action
--
GitLab