diff options
| author | Joey Hess <joeyh@joeyh.name> | 2016-06-13 19:26:15 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2016-06-13 19:26:15 -0400 |
| commit | 1ec80f39f6fe4da60d4e3b3ea9f256c5d7b4cd24 (patch) | |
| tree | 9d162fa99cb297f9d43288ba51e820be89e2daaf /src/System/Console/Concurrent.hs | |
| parent | 3893a43774eee2a01df19c15c6c59c6f6d358c29 (diff) | |
throw StopPropellorException if unmounting fails
It would be bad if unmount somehow failed and then another property tried
to reformat the mounted device or rm -rf the mount point. While I don't see
anything that does that, and while lazy umount can't fail as far as I know,
it was throwing an exception that stopped propellor and let's cautiously
keep it that way.
Diffstat (limited to 'src/System/Console/Concurrent.hs')
0 files changed, 0 insertions, 0 deletions