Enhancement request: "who's online"

[theod]

Hi to all,

Just an idea: wouldn't it very useful if there was a  
tab/page/link/commandline util that would display all the logged in  
invenio users/guests?

For logged in users the username/login datetime and ip (and maybe the  
last executed command/url) could be shown.

Such a feature could come very handy for administration purposes  
(restart of services, debugging etc) and it would seem fairly easy to  
implement. (A subset of this logic already exists in the stats page...)

Best regards,
Theodoros