From db6b564455e3b2366762126d760ca7c300526446 Mon Sep 17 00:00:00 2001 From: Sean Whitton Date: Wed, 24 Aug 2016 19:42:39 -0700 Subject: TODO --- src/Propellor/Property/Sbuild.hs | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/Propellor') 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 -- cgit v1.2.3