output the session ids when logging that we kill'em
[citadel.git] / buildbot /
drwxr-xr-x   ..
-rw-r--r-- 12267 master.cfg