11 Jun
2008
11 Jun
'08
3:45 p.m.
On Wednesday, 14. May 2008 21:51:16 Antony Chazapis wrote:
I think that waiting and then killing the process is not needed. If you just close the pipe, the other end should notice that there is an EOF at stdin and die.
Ok, I applied your idea to the trunk and changed the demo script accordingly. See revision 1080. Sending EXIT or something like that is even uglier ...
Greetings, Marek