[erlang-questions] terminating external port program
Sun Jan 11 22:26:24 CET 2009
2009/1/11 Howard Yeh <hayeah@REDACTED>
> On Sun, Jan 11, 2009 at 11:11 AM, Howard Yeh <hayeah@REDACTED> 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 kill the process
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the erlang-questions