summaryrefslogtreecommitdiff
path: root/Remote
diff options
context:
space:
mode:
Diffstat (limited to 'Remote')
-rw-r--r--Remote/External.hs1
-rw-r--r--Remote/External/Types.hs2
2 files changed, 3 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
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