{-# LANGUAGE DeriveDataTypeable #-}
module Propellor.Property.Service where
import Propellor.Base
import Propellor.Types.Info
import qualified Propellor.Property.File as File
type ServiceName = String
running :: ServiceName -> Property DebianLike
running = signaled "start" "running"
restarted :: ServiceName -> Property DebianLike
restarted = signaled "restart" "restarted"
reloaded :: ServiceName -> Property DebianLike
reloaded = signaled "reload" "reloaded"
signaled :: String -> Desc -> ServiceName -> Property DebianLike
signaled cmd desc svc = check (not <$> servicesDisabled) $
tightenTargets $ p `describe` (desc ++ " " ++ svc)
where
p = scriptProperty ["service " ++ shellEscape svc ++ " " ++ cmd ++ " >/dev/null 2>&1 || true"]
`assume` NoChange
noServices :: RevertableProperty (HasInfo + UnixLike) UnixLike
noServices = (setup `setInfoProperty` toInfo (InfoVal NoServices)) <!> teardown
where
f = "/usr/sbin/policy-rc.d"
script = [ "#!/bin/sh", "exit 101" ]
setup = combineProperties "no services started" $ toProps
[ File.hasContent f script
, File.mode f (combineModes (readModes ++ executeModes))
]
teardown = File.notPresent f
servicesDisabled :: Propellor Bool
servicesDisabled = isJust . fromInfoVal
<$> (askInfo :: Propellor (InfoVal NoServices))
data NoServices = NoServices deriving (Eq, Show, Typeable)