diff --git a/bin/localsearch.sh b/bin/localsearch.sh index 8acf586ba..50b737616 100755 --- a/bin/localsearch.sh +++ b/bin/localsearch.sh @@ -2,9 +2,9 @@ cd "`dirname $0`" port=$(grep ^port= ../DATA/SETTINGS/yacy.conf |cut -d= -f2) if which curl &>/dev/null; then - curl -s "http://localhost:$port/yacysearch.rss?resource=local&verify=false&query=$1" | awk '/^/{ gsub("","" );gsub("<\/link>","" ); print $0 }' + curl -s "http://localhost:$port/yacysearch.rss?resource=local&verify=ifexist&query=$1" | awk '/^/{ gsub("","" );gsub("<\/link>","" ); print $0 }' elif which wget &>/dev/null; then - wget -q -O - "http://localhost:$port/yacysearch.rss?resource=local&verify=false&query=$1" | awk '/^/{ gsub("","" );gsub("<\/link>","" ); print $0 }' + wget -q -O - "http://localhost:$port/yacysearch.rss?resource=local&verify=ifexist&query=$1" | awk '/^/{ gsub("","" );gsub("<\/link>","" ); print $0 }' else echo "Neither curl nor wget installed!" exit 1 diff --git a/killYACY.sh b/killYACY.sh index 9790166f2..3a9ff5691 100755 --- a/killYACY.sh +++ b/killYACY.sh @@ -7,7 +7,6 @@ cd `dirname $0` PID=`fuser DATA/LOG/yacy00.log | awk '{print $1}'` echo "process-id is " $PID kill -3 $PID -sleep 1 kill -9 $PID echo "killed pid " $PID ", YaCy terminated"