No questo non può essere fatto con exec()
(né shell_exec()
o system()
)
se avete la pcntl extension installato sarebbe:
function detached_exec($cmd) {
$pid = pcntl_fork();
switch($pid) {
// fork errror
case -1 : return false
// this code runs in child process
case 0 :
// obtain a new process group
posix_setsid();
// exec the command
exec($cmd);
break;
// return the child pid in father
default:
return $pid;
}
}
chiamare in questo modo:
$pid = detached_exec($cmd);
if($pid === FALSE) {
echo 'exec failed';
}
// do some work
// kill child
posix_kill($pid, SIGINT);
waitpid($pid, $status);
echo 'Child exited with ' . $status;
Io non la penso così. Forse l'esempio posix_setsid può aiutare, ma usa fork(). –