[erlang-questions] terminating external port program
Sun Jan 11 22:35:30 CET 2009
Sorry for incomplete reply, my machine seems to keep helping me by
automatically clicking the mouse. :-)
2009/1/11 Howard Yeh <>
> On Sun, Jan 11, 2009 at 11:11 AM, Howard Yeh <> wrote:
> > 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
> > hidden?
> Answering my own question, the reason to keep process id hidden
> is that a port isn't always a process, or even local. Right?
> But why not make it s.t. erlang:port_close/1 sends a kill signal
> when the port wraps a process? I can't figure out a reliable way
> to kill spawned port process if it doesn't "terminate properly".
I think one reason not to SIGKILL the process is that it does not give the
process a chance to clean up before dying. Of course, this doesn't help when
the process refuses to die as it should.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the erlang-questions