* Fixes missing else in device_detach() when an user is still using the device
 * Terminate worker threads before releasing queues and associated struct requests

 refs #70