void command_server::send_hello(unsigned int conn_id)
{
server_connection* sc=s.get_connection(conn_id);
- // TODO: Gerd: Throw exception if get_connection() returns NULL or just return?
+
+ if (!sc)
+ return; // connection not existing, so no hello
std::ostringstream hello;