Update echo_server.h