mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

comments

Browse source
This commit is contained in:
Joey Hess 2020-12-03 14:57:22 -04:00
parent e7f42e2ec7
commit 82dbc4387c
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38
1 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
Types/Messages.hs
View file

@ -61,9 +61,14 @@ newMessageState = do
, promptLock = promptlock , promptLock = promptlock
} }
-- | When communicating with a child process over a pipe while it is
-- performing some action, this is used to pass back output that the child
-- would normally display to the console.
data SerializedOutput data SerializedOutput
= OutputMessage S.ByteString = OutputMessage S.ByteString
| OutputError String | OutputError String
| ProgressMeter (Maybe Integer) MeterState MeterState | ProgressMeter (Maybe Integer) MeterState MeterState
| JSONObject L.ByteString | JSONObject L.ByteString
-- ^ This is always sent, it's up to the consumer to decide if it
-- wants to display JSON, or human-readable messages.
deriving (Show, Read) deriving (Show, Read)