From 2f604bb9f67a9384dbcd8b43cfb0e6f1aeefeb0d Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Fri, 15 Sep 2017 14:32:56 -0400 Subject: add missing case --- Remote/External.hs | 1 + 1 file changed, 1 insertion(+) (limited to 'Remote') 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 -- cgit v1.2.3