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 | bdcf19b0951aa70dcd937a419695c14d36045743 (patch) | |
tree | ceb07a937e5914c72245028ab88f5c3db7b0915e /Remote/External.hs | |
parent | 3435a47245ca2167f74bcced5e272fa46fd7b54c (diff) |
add missing case
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 b1204f7769..2e40ff49a1 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 |