Would it be possible to flush open file buffers on ctrl-C?
I realise I could do this with hSetBuffering though with some
performance cost.
I also appreciate that it could be a little tricky to implement (or,
maybe, really simple?) - but it would be really useful.
Well, you can set up a
Would it be possible to flush open file buffers on ctrl-C?
I realise I could do this with hSetBuffering though with some performance cost.
I also appreciate that it could be a little tricky to implement (or,
maybe, really simple?) - but it would be really useful.
--
Alastair Reid
