diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2017-09-08 14:24:05 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2017-09-08 14:24:05 -0400 |
| commit | 23f55c0efdd58f8024d9b0c9e4b02db7b8d27b61 (patch) | |
| tree | c6e008833ac2526f9681de86e244e23584639613 /Types | |
| parent | 1afbbef018b6a8e5d382c44c5e5366cf6ec65950 (diff) | |
External special remote protocol extended to support export.
Also updated example.sh to support export.
This commit was supported by the NSF-funded DataLad project.
Diffstat (limited to 'Types')
| -rw-r--r-- | Types/Remote.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Types/Remote.hs b/Types/Remote.hs index e2f36a55b..511653e98 100644 --- a/Types/Remote.hs +++ b/Types/Remote.hs @@ -175,7 +175,7 @@ data ExportActions a = ExportActions -- Retrieves exported content to a file. -- (The MeterUpdate does not need to be used if it writes -- sequentially to the file.) - , retrieveExport :: Key -> ExportLocation -> FilePath -> MeterUpdate -> a (Bool, Verification) + , retrieveExport :: Key -> ExportLocation -> FilePath -> MeterUpdate -> a Bool -- Removes an exported file (succeeds if the contents are not present) , removeExport :: Key -> ExportLocation -> a Bool -- Checks if anything is exported to the remote at the specified |