if(!isset($_SESSION)) //Para que es esto? { session_start(); }
$_SESSION[usuario] = $user_ok['nick'];