# HG changeset patch # User Christophe Lincoln # Date 1389123189 -3600 # Node ID 9461f492dd131407323a6842e7e98f2b20b94ad5 # Parent f005632d7c8bf565e5e8d0c07d8beba1dc8d6115 bugs.cgi: fix search function diff -r f005632d7c8b -r 9461f492dd13 web/bugs.cgi --- a/web/bugs.cgi Tue Jan 07 20:15:56 2014 +0100 +++ b/web/bugs.cgi Tue Jan 07 20:33:09 2014 +0100 @@ -750,6 +750,7 @@ exit 0 fi ;; *\ search\ *) + found=0 header html_header user_box @@ -761,24 +762,25 @@
EOT - - #found=0 JS to notify or write results nb under the search box. - for bug in $bugdir/* + cd $bugdir + for bug in * do result=$(fgrep -i "$(GET search)" $bug/*) if [ "$result" ]; then - #found=$(($found + 1)) - id=${bug#bug/} + found=$(($found + 1)) + id=${bug} echo "

Bug $id "$(gettext 'Show')"

" echo '
'
 				fgrep -i "$(GET search)" $bugdir/$id/* | \
 					sed s"/$(GET search)/$(GET search)<\/span>/"g
 				echo '
' - else - get_search=$(GET search) - echo "

$(eval_gettext 'No result found for: $get_search')

" fi done + if [ "$found" == "0" ]; then + echo "

$(gettext 'No result found for') : $(GET search)

" + else + echo "

$found $(gettext 'results found')

" + fi echo '
' html_footer ;; *)