diff options
| author | Joey Hess <joeyh@joeyh.name> | 2017-07-13 11:04:14 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2017-07-13 11:04:14 -0400 |
| commit | 632137836b39462883483a621f9dd696ce1d73cc (patch) | |
| tree | a3b875afa1d8609c5b4dcaad0dff459c7174d9f3 /src/Utility/SafeCommand.hs | |
| parent | 3aae9ad46742d3de514380647811ae495cb83a83 (diff) | |
disable buffering earlier
The "fatal: Couldn't find remote ref HEAD" persists, and is intermittent
so hard to be sure but it seemed that disabling buffering earlier
avoided it. Now done first thing on start.
I was not able to find anything that reads from stdin other than
getMarked, but perhaps there is something..
Diffstat (limited to 'src/Utility/SafeCommand.hs')
0 files changed, 0 insertions, 0 deletions