93 lines
3.0 KiB
Haskell
93 lines
3.0 KiB
Haskell
--------------------------------------------------------------------------------
|
|
-- | Functions for managing processes
|
|
|
|
module XMonad.Internal.Process
|
|
( waitUntilExit
|
|
, killHandle
|
|
, spawnPipe'
|
|
, spawnPipe
|
|
, spawnPipeArgs
|
|
, createProcess'
|
|
, readCreateProcessWithExitCode'
|
|
, proc'
|
|
, shell'
|
|
, spawn
|
|
, spawnAt
|
|
, module System.Process
|
|
) where
|
|
|
|
import Control.Concurrent
|
|
import Control.Exception
|
|
import Control.Monad
|
|
import Control.Monad.IO.Class
|
|
|
|
import Data.Maybe
|
|
|
|
import System.Directory
|
|
import System.Exit
|
|
import System.IO
|
|
import System.Posix.Signals
|
|
import System.Process
|
|
|
|
import XMonad.Core hiding (spawn)
|
|
|
|
-- | Block until a PID has exited (in any form)
|
|
-- ASSUMPTION on linux PIDs will always increase until they overflow, in which
|
|
-- case they will start to recycle. Barring any fork bombs, this code should
|
|
-- work because we can reasonably expect that no processes will spawn with the
|
|
-- same PID within the delay limit
|
|
-- TODO this will not work if the process is a zombie (maybe I care...)
|
|
waitUntilExit :: Show t => t -> IO ()
|
|
waitUntilExit pid = do
|
|
res <- doesDirectoryExist $ "/proc/" ++ show pid
|
|
when res $ threadDelay 100000 >> waitUntilExit pid
|
|
|
|
killHandle :: ProcessHandle -> IO ()
|
|
killHandle ph = do
|
|
ec <- getProcessExitCode ph
|
|
unless (isJust ec) $ do
|
|
pid <- getPid ph
|
|
forM_ pid $ signalProcess sigTERM
|
|
-- this may fail if the process exits instantly and the handle
|
|
-- is destroyed by the time we get to this line (I think?)
|
|
void (try $ waitForProcess ph :: IO (Either IOException ExitCode))
|
|
|
|
withDefaultSignalHandlers :: IO a -> IO a
|
|
withDefaultSignalHandlers =
|
|
bracket_ uninstallSignalHandlers installSignalHandlers
|
|
|
|
addGroupSession :: CreateProcess -> CreateProcess
|
|
addGroupSession cp = cp { create_group = True, new_session = True }
|
|
|
|
createProcess' :: CreateProcess -> IO (Maybe Handle, Maybe Handle, Maybe Handle, ProcessHandle)
|
|
createProcess' = withDefaultSignalHandlers . createProcess
|
|
|
|
readCreateProcessWithExitCode' :: CreateProcess -> String -> IO (ExitCode, String, String)
|
|
readCreateProcessWithExitCode' c i = withDefaultSignalHandlers
|
|
$ readCreateProcessWithExitCode c i
|
|
|
|
shell' :: String -> CreateProcess
|
|
shell' = addGroupSession . shell
|
|
|
|
proc' :: FilePath -> [String] -> CreateProcess
|
|
proc' cmd args = addGroupSession $ proc cmd args
|
|
|
|
spawn :: MonadIO m => String -> m ()
|
|
spawn = io . void . createProcess' . shell'
|
|
|
|
spawnAt :: MonadIO m => FilePath -> String -> m ()
|
|
spawnAt fp cmd = io $ void $ createProcess' $ (shell' cmd) { cwd = Just fp }
|
|
|
|
spawnPipe' :: CreateProcess -> IO (Handle, ProcessHandle)
|
|
spawnPipe' cp = do
|
|
-- ASSUME creating a pipe will always succeed in making a Just Handle
|
|
(Just h, _, _, p) <- createProcess' $ cp { std_in = CreatePipe }
|
|
hSetBuffering h LineBuffering
|
|
return (h, p)
|
|
|
|
spawnPipe :: String -> IO (Handle, ProcessHandle)
|
|
spawnPipe = spawnPipe' . shell
|
|
|
|
spawnPipeArgs :: FilePath -> [String] -> IO (Handle, ProcessHandle)
|
|
spawnPipeArgs cmd = spawnPipe' . proc cmd
|