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 reid at cs.utah.edu http://www.cs.utah.edu/~reid/