public function is_empty()
 {
     global $USER;
     return parent::is_empty() || !isset($USER->auth) || $USER->auth != 'shibboleth';
 }