Gracias Triby,
No estoy seguro de que sea eso que comentas, he probado a lanzar el proceso asi:
Código PHP:
system('php /var/www/vhosts/mi_servidor/httpdocs/exec/exec.php -- $a $b >/dev/null &');
y la cosa no funciona. Recoge "--" en la varible $a en exec.php, pero nada más.
En el manual de PHP he podido leer que es necesario tener activada la directiva
register_argc_argv en el php.ini para que esté disponible el array $argv...
He comprobado como está con
ini_get("register_argc_argv"), y está desactivada.
Ahora estaba investigando si se puede modificar esta directiva en tiempo de ejecución.
Con
ini_set() no funciona y con la opción
-d en la linea de comandos...
Código PHP:
system('php -d register_argc_argv=1 /var/www/vhosts/mi_servidor/httpdocs/exec/exec.php $a $b >/dev/null &');
...parece que tampoco, aunque no estoy seguro de estar pasando bien la opción (nunca he usado php por consola).
Alguna otra idea?
Gracias,
GMG