[Mediawiki-l] Properly killing an invoked external program?

[Daniel Barrett]

Thanks! I'll report back on whether this worked or not. So far it's done
no harm....

DanB

-----Original Message-----
Platonides wrote:

$abort = ignore_user_abort(true);
shell_exec()
ignore_user_abort($abort);