Ciao prova a togliere

global $login_ok;

e prova a stampare:
Codice PHP:
<?php
global $login_ok;

include 
'checkLogin.php';
checkParam();

print 
$login_ok//vediamo che valore restituisce

if ($login_ok == true) {
    
// stampo la pagina
    
echo "<h1>Login Effettuato con successo!</h1>";
    
    echo 
"
    <div id=\"menu\">

        <ul>[*]<a href=\"java-script:void(0)\">Voce 1</a>[*]<a href=\"java-script:void(0)\">Voce 2</a>[*]<a href=\"java-script:void(0)\">Voce 3</a>[*]<a href=\"java-script:void(0)\">Voce 4</a>[*]<a href=\"java-script:void(0)\">Voce 5</a>[*]=====================[*]<a href=\"logout.php\">Log Out</a>
[/list]
        
    </div>
    "
;
    
    
} else {

setcookie("prova_login""");
    
session_unset();
session_destroy();
    
    echo 
"
        <h1>Login non Effettuato!</h1>
        
(Errore 1)
        
<a href=\"logout.php\">Accedi</a> nuovamente.
"
;

}

?>