chiark / gitweb /
wiki: log server start/stop times and command line