Check if tool storage exists before deleting it. Otherwise it might cause crashes. See bug 17793.
Description
Description
Details
Details
- Provenance
Esther Wild <e.wild@dkfz.de> Authored on May 14 2014, 3:41 PM - Parents
- rMITK515cd2df77cc: Merge branch 'bug-17747-invalid-video-device-index'
- Branches
- Unknown
- Tags