Update name_server.erl