small improvements to src/TnT/server.go