correct server.erl