diff options
author | 2015-04-04 15:01:00 -0400 | |
---|---|---|
committer | 2015-04-04 15:01:00 -0400 | |
commit | b855580614852c7558fb2aad387609d15c4b0c6b (patch) | |
tree | 9f523cdb70e17cfa3d8bdb6a5d51364557572869 /Remote/External/Types.hs | |
parent | 7cd9433dab89e1e007cef783d8b18e5eeac987f1 (diff) | |
parent | 8815f95d1ad0413ca35e6873f4b7b272bac629db (diff) |
Merge branch 'concurrentprogress'
Diffstat (limited to 'Remote/External/Types.hs')
-rw-r--r-- | Remote/External/Types.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Remote/External/Types.hs b/Remote/External/Types.hs index c7a28a359..3c9e89d40 100644 --- a/Remote/External/Types.hs +++ b/Remote/External/Types.hs @@ -70,7 +70,7 @@ type ExternalType = String data ExternalState = ExternalState { externalSend :: Handle , externalReceive :: Handle - , externalPid :: ProcessHandle + , externalShutdown :: IO () , externalPrepared :: PrepareStatus } |