diff options
| author |  Joey Hess <joey@kitenet.net> | 2014-01-13 14:00:09 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2014-01-13 14:00:09 -0400 |
| commit | c5caba1e6f0c3308946ab035ae0d71e160b17096 (patch) | |
| tree | 95dbd26b1953f239a572e86bbef90e65b56125a2 /Remote/External | |
| parent | f69a115326880ca632f347ced426ce32125c9ddd (diff) | |
external special remote protocol: Added GETGITDIR.
Diffstat (limited to 'Remote/External')
| -rw-r--r-- | Remote/External/Types.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Remote/External/Types.hs b/Remote/External/Types.hs index 4c62c2f84..c7085e39a 100644 --- a/Remote/External/Types.hs +++ b/Remote/External/Types.hs @@ -168,6 +168,7 @@ data RemoteRequest | SETCREDS Setting String String | GETCREDS Setting | GETUUID + | GETGITDIR | SETWANTED PreferredContentExpression | GETWANTED | SETSTATE Key String @@ -184,6 +185,7 @@ instance Receivable RemoteRequest where parseCommand "SETCREDS" = parse3 SETCREDS parseCommand "GETCREDS" = parse1 GETCREDS parseCommand "GETUUID" = parse0 GETUUID + parseCommand "GETGITDIR" = parse0 GETGITDIR parseCommand "SETWANTED" = parse1 SETWANTED parseCommand "GETWANTED" = parse0 GETWANTED parseCommand "SETSTATE" = parse2 SETSTATE |