Codice PHP:
if(utenteBannato())
{
     
session_destroy();