[#2212] CID83200:

Caught boost::thread_interrupted exception