diff options
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 |