Grazie, e scusate se non ho risposto prima ma davvero non ho potuto.

Ho provato a sostituire il comando header(Location......
con

exec("php -f prova/prova.php");

In questo modo mi esegue la pagina prova.php

Ora, però, ho il problema di dover passare delle variabili alla pagina prova.php.
Ho provato ad usare le sessioni, ma con il comando exec sembra che la sessione non sia mantenuta, infatti quando viene eseguito prova.php, il comando session_start() non riprende una sessione esistente ma ne crea una nuova.

Allora ho provato sia

exec("php -f prova/prova.php?passaggio=settato");

che

exec("php -f prova/prova.php?passaggio='settato'");

ma così facendo la pagina prova.php non viene eseguita.

Qualcuno avrebbe un suggerimento?

P.S.: mi è venuto in mente che da shell sia possibile eseguire una pagina php passandogli dei parametri, se qualcuno conoscesse la sintassi, la potrei usare nel comando exec.

GRAZIE TANTE!