Update push_server.erl