diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2017-09-07 14:32:47 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2017-09-07 14:32:47 -0400 |
| commit | 6e7dcece6022e5078c2ef2c25d94ee1f23419234 (patch) | |
| tree | 70c1b4c4ac3ed56bb2bf4f3b358aa1033283565f /Creds.hs | |
| parent | d910a94df7d6f5c87897c248586cb65523457f99 (diff) | |
avoid renaming to temp files before deleting
Only rename when actually ncessary.
The diff gets buffered in memory. Probably git has to buffer a diff in
memory when generating it as well, so this memory usage should not be a
problem, even when the diff is very large. I hope.
This commit was supported by the NSF-funded DataLad project.
Diffstat (limited to 'Creds.hs')
0 files changed, 0 insertions, 0 deletions