chiark / gitweb /
server: Fix some bad warning messages.