Corrects bug during Workflow switching
Due to the fact we use shared_pointer, during workflow switching,
there was a creation of the new workflow before the deletion of the
old one. Therefore it was firing unexpected exceptions.
Description
Description
Details
Details
- Committed
Alexandre Tuleu <alexandre.tuleu.2005@polytechnique.org> Jun 20 2013, 21:06 - Pushed
tuleu May 7 2018, 15:09 - Parents
- R6621:1f3b6b8b6e12: Corrects bad Unlock() method
- Branches
- Unknown
- Tags