|
|
|
@ -52,10 +52,11 @@ else |
|
|
|
|
$startingitem = 0; |
|
|
|
|
|
|
|
|
|
$image_path = "/devpim/pub/"; |
|
|
|
|
$copy_img = "<img src=\"".$image_path."clipboard_add.png"."\" />"; |
|
|
|
|
$star_img = "<img src=\"".$image_path."yellow-star.gif"."\" />"; |
|
|
|
|
$alt_img = "<img src=\"".$image_path."server.png"."\" />"; |
|
|
|
|
$bug_img = "<img src=\"".$image_path."bug.gif"."\" />"; |
|
|
|
|
$copy_img = "<img src=\"".$image_path."clipboard_add.png"."\" alt=\"copy the page name to the clipboard\"/>"; |
|
|
|
|
$star_img = "<img src=\"".$image_path."yellow-star.gif"."\" alt=\"mark that result as significant\"/>"; |
|
|
|
|
// this could use some Javascript effect |
|
|
|
|
$alt_img = "<img src=\"".$image_path."server.png"."\" alt=\"use the alternate server (local or remote)\"/>"; |
|
|
|
|
$bug_img = "<img src=\"".$image_path."bug.gif"."\" alt=\"mark that query as problematic\"/>"; |
|
|
|
|
|
|
|
|
|
if ($words == ""){ |
|
|
|
|
print "You need to make an actual search, use ?query=keyword<br/>"; |
|
|
|
@ -86,9 +87,14 @@ if ( !$res ) { |
|
|
|
|
// yet still always offer it as an option (since it's "costly") |
|
|
|
|
#var_dump($res); |
|
|
|
|
$IDs = array_keys($res["matches"]); |
|
|
|
|
// note that $IDs = array_unique(array_keys($res["matches"])); does not solve the multiple page issue |
|
|
|
|
// thus probably comes from a duplicate indexing |
|
|
|
|
print "<h2>Query<a href=\"?bug&keyword=$words\">$bug_img</a></h2>"; |
|
|
|
|
|
|
|
|
|
print "\"$words\" found ".$res["words"]["$words"]["hits"]." time(s) in ".$res["total_found"]." document(s):<br/>"; |
|
|
|
|
if (isset( $res["words"]["$words"]["hits"]) ) |
|
|
|
|
$hits = $res["words"]["$words"]["hits"]." time(s) "; |
|
|
|
|
else |
|
|
|
|
$hits = ""; |
|
|
|
|
print "\"$words\" found ".$hits." in ".$res["total_found"]." document(s):<br/>"; |
|
|
|
|
print "<ul>"; |
|
|
|
|
foreach ($IDs as $i) |
|
|
|
|
{ |
|
|
|
|