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?
std::ostringstream hello;
/** @brief handle incoming commands
@param[in,out] usec_timeout wait until new data is found, max timeout usecs.
-1: wait endless, 0: instant return
+ @param[out] usec_timeout_remaining microseconds from the timeout that were not used
*/
void command_server::handle(long long usec_timeout, long long* usec_timeout_remaining)
{