db name-change

extras_explorerjs.js

@@ -2,7 +2,7 @@
  * Customize as you want ;)
  */
 function callGeomap(){
-    db=JSON.stringify('php/community.db');
+    db=JSON.stringify('php/community_fixed.db');
     if(is_empty(selections)){
         // jsonparams='["all"]';
         jsonparams='["unique_id"]&unique_id='+getUrlParam.nodeidparam;

php/parametres.php

@@ -5,7 +5,7 @@ list de parametres.
  */
 
 //$dbname='/home/jbilcke/databases/scholar_test_data.db';
-$dbname='community.db';
+$dbname='community_fixed.db';
 //$dbname='scholar_test_data.db';
 
 //$scholars_db ="raw_scholars";

zearcher.sh

@@ -27,11 +27,11 @@ function testing {
 
 #Searching for the word "Magic"
 function test2 {
-	iter=`find . -name '*.js' -print`
+	iter=`find . -name '*.php' -print`
 	for f in $iter
 	do
 		filename=`echo $f | sed s/"\.\/"//g`
-		variable=`cat $filename | grep "semanticConverged"`
+		variable=`cat $filename | grep "community.db"`
 		if [[ "$variable" != "" ]]
 		then
 			echo $filename