From ec83fe1fcd869f6d8a9f137a5ff5972ddefc30b4 Mon Sep 17 00:00:00 2001 From: Alain Peyrat Date: Mon, 4 Oct 2010 17:24:26 +0000 Subject: [PATCH] use exit_error . --- src/www/search/index.php | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/src/www/search/index.php b/src/www/search/index.php index 19b535488c..c92c49ce13 100644 --- a/src/www/search/index.php +++ b/src/www/search/index.php @@ -79,11 +79,7 @@ $renderer = $searchManager->getSearchRenderer($type_of_search, $words, $offset, if ($renderer) { $renderer->flush(); } else { - $HTML->header(array('title'=>_('Search'))); - echo '
'._('Error - Invalid search').'
'; - - $HTML->footer(array()); - exit(); + exit_error(_('Error - Invalid search')); } ?> -- 2.30.2