if (isset($_SESSION["ente"]) && !empty($_SESSION["ente"]->moduli)) { $moduli = array_keys($_SESSION["ente"]->moduli); $manager = new avvisiProcedura($_SESSION["ente"]->codice); ob_start(); $manager->printHP(); $avvisiHP = ob_get_clean(); if (!empty($avvisiHP)) { ?>