[erlang-questions] terminating external port program
Sun Jan 11 20:11:08 CET 2009
When the port's owner exits, the pipe is closed, but the program isn't
killed. Is this right?
The reference manual says that,
"The external program should terminate when the port is closed."
That means the external program needs to detect that pipe is closed and exits?
I am writing a script spawner/monitor with Erlang. The problem is if
the external script gets into a loop, it needs to be killed
explicitly. There has been a posting on this before,
But writing a wrapper isn't a viable approach... that leaves me with
patching port_info? What's the reason of keeping the process id
More information about the erlang-questions