> os:cmd("kill -" ++ Signal ++ " " ++ OsPid)
It is platform-dependent.
And there is no way to convert Port into OsPid. Only way is to "ask"
the OS program using stdio.
"with the current open_port implementation" it is easy to call PHP or
python to control processes :)
--
Best regards,
Uvarov Michael