#181 (Feb 10, 2013, 9:36:59 AM)

Started 13 yr ago

Took 7.5 sec

Quick fix for /server, will do a better job later
(commit: 25d2902)