diff options
author | Joey Hess <joeyh@joeyh.name> | 2017-09-15 14:32:56 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2017-09-15 14:32:56 -0400 |
commit | 2f604bb9f67a9384dbcd8b43cfb0e6f1aeefeb0d (patch) | |
tree | 3445bfa6d206e083b86bb79153341bb07384220c /Remote | |
parent | e2d2ecb97ab7f6000016138ed63b4753c7c6232c (diff) |
add missing case
Diffstat (limited to 'Remote')
-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 b1204f776..2e40ff49a 100644 --- a/Remote/External.hs +++ b/Remote/External.hs @@ -291,6 +291,7 @@ removeExportDirectoryM external dir = safely $ REMOVEEXPORTDIRECTORY_SUCCESS -> Just $ return True REMOVEEXPORTDIRECTORY_FAILURE -> Just $ return False UNSUPPORTED_REQUEST -> Just $ return True + _ -> Nothing where req = REMOVEEXPORTDIRECTORY dir |