echo_server: server stop was fixed (spurious condition variable wake up).