Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
We must distinguish 3 cases for await_for_server(): - an error occurred - no error occurred, the device is connected - no error occurred, the device is not connected (user requested to quit) For this purpose, use an additional output parameter to indicate if the device is connected (only set when no error occurs). Refs #3085 <#3085>
- Loading branch information