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.hs | |
| parent | f69a115326880ca632f347ced426ce32125c9ddd (diff) | |
external special remote protocol: Added GETGITDIR.
Diffstat (limited to 'Remote/External.hs')
| -rw-r--r-- | Remote/External.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Remote/External.hs b/Remote/External.hs index f09589b25..34810c4ac 100644 --- a/Remote/External.hs +++ b/Remote/External.hs @@ -230,6 +230,7 @@ handleRequest' lck external req mp responsehandler send $ CREDS (fst creds) (snd creds) handleRemoteRequest GETUUID = send $ VALUE $ fromUUID $ externalUUID external + handleRemoteRequest GETGITDIR = send . VALUE =<< fromRepo Git.localGitDir handleRemoteRequest (SETWANTED expr) = preferredContentSet (externalUUID external) expr handleRemoteRequest GETWANTED = do |