ho però un altro problema relativo alla chiamata batch, quello della session_start, ma forse mi hai risposto con la seconda....
posto il codice così mi puoi dire se ci sono cavolte, perchè per funzionare funziona.
Codice PHP:
if(isset($_SERVER["SERVER_PROTOCOL"]) && ){
session_start();
if (!isset($_SESSION['utente'])){
header('location:login.php?war=Sessione Scaduta necessario ricollegarsi');exit();
}
$user=$_SESSION['utente'];
}else{
$user="BATCH";
}