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";