chiark / gitweb /
scripts/setup now waits until the server has started up before