diff options
| author | Sean Whitton <spwhitton@spwhitton.name> | 2016-08-24 19:42:39 -0700 |
|---|---|---|
| committer | Sean Whitton <spwhitton@spwhitton.name> | 2016-08-25 19:16:33 -0700 |
| commit | db6b564455e3b2366762126d760ca7c300526446 (patch) | |
| tree | 113fe252ac454c7160a20d66d7832344035ca88d /src | |
| parent | b743574485f3cf4694ad12dbb0725ded6eaf8018 (diff) | |
TODO
Diffstat (limited to 'src')
| -rw-r--r-- | src/Propellor/Property/Sbuild.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Propellor/Property/Sbuild.hs b/src/Propellor/Property/Sbuild.hs index e2080ee3..ffc3218a 100644 --- a/src/Propellor/Property/Sbuild.hs +++ b/src/Propellor/Property/Sbuild.hs @@ -137,6 +137,8 @@ built s@(SbuildSchroot suite arch) mirror = `before` commandPrefix , return FailedChange ) + -- TODO we should kill any sessions still using the chroot + -- before destroying it (as suggested by sbuild-destroychroot) deleted = check (not <$> unpopulated (schrootRoot s)) $ property ("no sbuild schroot for " ++ show s) $ do liftIO $ removeChroot $ schrootRoot s |