![]() No need to read whole FileContent only to write it back out to a file in this case. Can just rename! Yay. Also indidentially, fixed an attempt to open a file for write that was already opened for write, which caused a crash and deadlock. |
||
---|---|---|
.. | ||
Chunked | ||
AWS.hs | ||
Chunked.hs | ||
ChunkedEncryptable.hs | ||
Encryptable.hs | ||
Git.hs | ||
Hooks.hs | ||
Messages.hs | ||
ReadOnly.hs | ||
Special.hs | ||
Ssh.hs |