diff options
author | 2014-08-09 11:09:54 -0400 | |
---|---|---|
committer | 2014-08-09 11:09:54 -0400 | |
commit | 425730f03a68cfa6a0e43a88c83f3470d8724627 (patch) | |
tree | 3f4e4af9dcdbe493bdbfd49c3a28724920105497 /Remote/WebDAV.hs | |
parent | cdd236595fd3453901809a079fb2f06a3a502133 (diff) |
unlock: Better error handling; continue past files that are not available or cannot be unlocked due to disk space, and try all specified files.
Diffstat (limited to 'Remote/WebDAV.hs')
0 files changed, 0 insertions, 0 deletions