+ if((get_config('system','block_public')) && (! local_user()) && (! remote_user())) {
+ notice( t('Public access denied.') . EOL);
+ return;
+ }
+
+ $o = '';
+ nav_set_selected('directory');
+ if(x($_SESSION,'theme'))
+ unset($_SESSION['theme']);
+
+ if(x($a->data,'search'))
+ $search = notags(trim($a->data['search']));
+ else
+ $search = ((x($_GET,'search')) ? notags(trim(rawurldecode($_GET['search']))) : '');
+
+ $tpl = get_markup_template('directory_header.tpl');