chiark / gitweb /
socket: make various socket/pipe options configurable