also don't stop receiving due to errors from async_receive_from(). some other minor cleanups are made too.