chiark / gitweb /
synchronize logger socket with what we use in the code