From 7c336c48f9b494844c832b40e8669e99f5ad202e Mon Sep 17 00:00:00 2001 From: Debian Krap Maintainers Date: Mon, 15 Sep 2014 17:48:35 +0000 Subject: [PATCH] safer-timeout Gbp-Pq: Name safer-timeout.patch --- appsrc/ODS-Addressbook/make_vad.sh | 12 ++--------- appsrc/ODS-Blog/make_vad.sh | 12 ++--------- appsrc/ODS-Bookmark/make_vad.sh | 12 ++--------- appsrc/ODS-Briefcase/make_vad.sh | 12 ++--------- appsrc/ODS-Calendar/make_vad.sh | 12 ++--------- appsrc/ODS-Community/make_vad.sh | 12 ++--------- appsrc/ODS-Discussion/make_vad.sh | 12 ++--------- appsrc/ODS-FeedManager/make_vad.sh | 12 ++--------- appsrc/ODS-Framework/make_vad.sh | 12 ++--------- appsrc/ODS-Framework/oauth/make_vad.sh | 12 ++--------- appsrc/ODS-Gallery/make_vad.sh | 12 ++--------- appsrc/ODS-Polls/make_vad.sh | 12 ++--------- appsrc/ODS-WebMail/make_vad.sh | 12 ++--------- appsrc/ODS-Wiki/make_vad.sh | 12 ++--------- binsrc/b3s/make_vad.sh | 12 ++--------- binsrc/bpel/make_vad.sh | 12 ++--------- binsrc/hosting/mono/tests/tclrsrv.sh | 15 ++------------ binsrc/isparql/make_vad.sh | 12 ++--------- binsrc/rdf_mappers/make_vad.sh | 12 ++--------- binsrc/samples/demo/make_vad.sh | 12 ++--------- binsrc/samples/demo/mkdemo.sh | 14 ++----------- binsrc/samples/demo/mkdoc.sh | 14 ++----------- binsrc/samples/sparql_demo/make_vad.sh | 12 ++--------- binsrc/samples/xpath/files2dav.sh | 14 ++----------- binsrc/samples/xquery/files2dav.sh | 14 ++----------- binsrc/sync/make_vad.sh | 12 ++--------- binsrc/tests/biftest/thook.sh | 14 ++----------- binsrc/tests/suite/test_fn.sh | 28 ++++---------------------- binsrc/tests/suite/tpc-d/tpcd.sh | 2 +- binsrc/tutorial/make_vad.sh | 12 ++--------- binsrc/vsp/admin/debug/make_vad.sh | 12 ++--------- binsrc/vspx/suite/vspx_suite.sh | 12 ++--------- binsrc/yacutia/mkvad.sh | 14 ++----------- 33 files changed, 67 insertions(+), 350 deletions(-) diff --git a/appsrc/ODS-Addressbook/make_vad.sh b/appsrc/ODS-Addressbook/make_vad.sh index 74f56388..ef8242a1 100755 --- a/appsrc/ODS-Addressbook/make_vad.sh +++ b/appsrc/ODS-Addressbook/make_vad.sh @@ -152,7 +152,7 @@ virtuoso_start() { "$SERVER" +wait fi stat="true" - while true + for i in $(seq 1 15) do sleep 4 echo "Waiting $SERVER start on port $PORT..." @@ -163,17 +163,9 @@ virtuoso_start() { LOG "PASSED: $SERVER successfully started on port $PORT" return 0 fi - nowh=`date | cut -f 2 -d :` - nows=`date | cut -f 3 -d : | cut -f 1 -d " "` - nowh=`expr $nowh - $starth` - nows=`expr $nows - $starts` - nows=`expr $nows + $nowh \* 60` - if test $nows -ge $timeout - then + done LOG "***WARNING: Could not start $SERVER within $timeout seconds" return 1 - fi - done } do_command_safe () { diff --git a/appsrc/ODS-Blog/make_vad.sh b/appsrc/ODS-Blog/make_vad.sh index 9586a198..f3e56e18 100755 --- a/appsrc/ODS-Blog/make_vad.sh +++ b/appsrc/ODS-Blog/make_vad.sh @@ -122,7 +122,7 @@ virtuoso_start() { "$SERVER" +wait fi stat="true" - while true + for i in $(seq 1 15) do sleep 4 echo "Waiting $SERVER start on port $PORT..." @@ -133,17 +133,9 @@ virtuoso_start() { LOG "PASSED: $SERVER successfully started on port $PORT" return 0 fi - nowh=`date | cut -f 2 -d :` - nows=`date | cut -f 3 -d : | cut -f 1 -d " "` - nowh=`expr $nowh - $starth` - nows=`expr $nows - $starts` - nows=`expr $nows + $nowh \* 60` - if test $nows -ge $timeout - then + done LOG "***WARNING: Could not start $SERVER within $timeout seconds" return 1 - fi - done } do_command_safe () { diff --git a/appsrc/ODS-Bookmark/make_vad.sh b/appsrc/ODS-Bookmark/make_vad.sh index 1ca73f0e..33082eea 100755 --- a/appsrc/ODS-Bookmark/make_vad.sh +++ b/appsrc/ODS-Bookmark/make_vad.sh @@ -152,7 +152,7 @@ virtuoso_start() { "$SERVER" +wait fi stat="true" - while true + for i in $(seq 1 15) do sleep 4 echo "Waiting $SERVER start on port $PORT..." @@ -163,17 +163,9 @@ virtuoso_start() { LOG "PASSED: $SERVER successfully started on port $PORT" return 0 fi - nowh=`date | cut -f 2 -d :` - nows=`date | cut -f 3 -d : | cut -f 1 -d " "` - nowh=`expr $nowh - $starth` - nows=`expr $nows - $starts` - nows=`expr $nows + $nowh \* 60` - if test $nows -ge $timeout - then + done LOG "***WARNING: Could not start $SERVER within $timeout seconds" return 1 - fi - done } do_command_safe () { diff --git a/appsrc/ODS-Briefcase/make_vad.sh b/appsrc/ODS-Briefcase/make_vad.sh index 4d318213..6fc73ade 100755 --- a/appsrc/ODS-Briefcase/make_vad.sh +++ b/appsrc/ODS-Briefcase/make_vad.sh @@ -163,7 +163,7 @@ virtuoso_start() { "$SERVER" +wait fi stat="true" - while true + for i in $(seq 1 15) do sleep 4 echo "Waiting $SERVER start on port $PORT..." @@ -174,17 +174,9 @@ virtuoso_start() { LOG "PASSED: $SERVER successfully started on port $PORT" return 0 fi - nowh=`date | cut -f 2 -d :` - nows=`date | cut -f 3 -d : | cut -f 1 -d " "` - nowh=`expr $nowh - $starth` - nows=`expr $nows - $starts` - nows=`expr $nows + $nowh \* 60` - if test $nows -ge $timeout - then + done LOG "***WARNING: Could not start $SERVER within $timeout seconds" return 1 - fi - done } do_command_safe () { diff --git a/appsrc/ODS-Calendar/make_vad.sh b/appsrc/ODS-Calendar/make_vad.sh index ce0d29a9..d9bd6127 100755 --- a/appsrc/ODS-Calendar/make_vad.sh +++ b/appsrc/ODS-Calendar/make_vad.sh @@ -151,7 +151,7 @@ virtuoso_start() { "$SERVER" +wait fi stat="true" - while true + for i in $(seq 1 15) do sleep 4 echo "Waiting $SERVER start on port $PORT..." @@ -162,17 +162,9 @@ virtuoso_start() { LOG "PASSED: $SERVER successfully started on port $PORT" return 0 fi - nowh=`date | cut -f 2 -d :` - nows=`date | cut -f 3 -d : | cut -f 1 -d " "` - nowh=`expr $nowh - $starth` - nows=`expr $nows - $starts` - nows=`expr $nows + $nowh \* 60` - if test $nows -ge $timeout - then + done LOG "***WARNING: Could not start $SERVER within $timeout seconds" return 1 - fi - done } do_command_safe () { diff --git a/appsrc/ODS-Community/make_vad.sh b/appsrc/ODS-Community/make_vad.sh index fbc32f96..847857dc 100755 --- a/appsrc/ODS-Community/make_vad.sh +++ b/appsrc/ODS-Community/make_vad.sh @@ -147,7 +147,7 @@ virtuoso_start() { "$SERVER" +wait fi stat="true" - while true + for i in $(seq 1 15) do sleep 4 echo "Waiting $SERVER start on port $PORT..." @@ -158,17 +158,9 @@ virtuoso_start() { LOG "PASSED: $SERVER successfully started on port $PORT" return 0 fi - nowh=`date | cut -f 2 -d :` - nows=`date | cut -f 3 -d : | cut -f 1 -d " "` - nowh=`expr $nowh - $starth` - nows=`expr $nows - $starts` - nows=`expr $nows + $nowh \* 60` - if test $nows -ge $timeout - then + done LOG "***WARNING: Could not start $SERVER within $timeout seconds" return 1 - fi - done } do_command_safe () { diff --git a/appsrc/ODS-Discussion/make_vad.sh b/appsrc/ODS-Discussion/make_vad.sh index d0717d82..4ac4df93 100755 --- a/appsrc/ODS-Discussion/make_vad.sh +++ b/appsrc/ODS-Discussion/make_vad.sh @@ -119,7 +119,7 @@ virtuoso_start() { "$SERVER" +wait fi stat="true" - while true + for i in $(seq 1 15) do sleep 4 echo "Waiting Virtuoso Server start on port $PORT..." @@ -130,17 +130,9 @@ virtuoso_start() { LOG "PASSED: Virtuoso Server successfully started on port $PORT" return 0 fi - nowh=`date | cut -f 2 -d :` - nows=`date | cut -f 3 -d : | cut -f 1 -d " "` - nowh=`expr $nowh - $starth` - nows=`expr $nows - $starts` - nows=`expr $nows + $nowh \* 60` - if test $nows -ge $timeout - then + done LOG "***WARNING: Could not start Virtuoso Server within $timeout seconds" return 1 - fi - done } do_command_safe () { diff --git a/appsrc/ODS-FeedManager/make_vad.sh b/appsrc/ODS-FeedManager/make_vad.sh index 31dd02f5..4f1dc1c2 100755 --- a/appsrc/ODS-FeedManager/make_vad.sh +++ b/appsrc/ODS-FeedManager/make_vad.sh @@ -151,7 +151,7 @@ virtuoso_start() { "$SERVER" +wait fi stat="true" - while true + for i in $(seq 1 15) do sleep 4 echo "Waiting $SERVER start on port $PORT..." @@ -162,17 +162,9 @@ virtuoso_start() { LOG "PASSED: $SERVER successfully started on port $PORT" return 0 fi - nowh=`date | cut -f 2 -d :` - nows=`date | cut -f 3 -d : | cut -f 1 -d " "` - nowh=`expr $nowh - $starth` - nows=`expr $nows - $starts` - nows=`expr $nows + $nowh \* 60` - if test $nows -ge $timeout - then + done LOG "***WARNING: Could not start $SERVER within $timeout seconds" return 1 - fi - done } do_command_safe () { diff --git a/appsrc/ODS-Framework/make_vad.sh b/appsrc/ODS-Framework/make_vad.sh index 44a986fd..33a7ce6f 100755 --- a/appsrc/ODS-Framework/make_vad.sh +++ b/appsrc/ODS-Framework/make_vad.sh @@ -149,7 +149,7 @@ virtuoso_start() { "$SERVER" +wait fi stat="true" - while true + for i in $(seq 1 15) do sleep 4 echo "Waiting $SERVER start on port $PORT..." @@ -160,17 +160,9 @@ virtuoso_start() { LOG "PASSED: $SERVER successfully started on port $PORT" return 0 fi - nowh=`date | cut -f 2 -d :` - nows=`date | cut -f 3 -d : | cut -f 1 -d " "` - nowh=`expr $nowh - $starth` - nows=`expr $nows - $starts` - nows=`expr $nows + $nowh \* 60` - if test $nows -ge $timeout - then + done LOG "***WARNING: Could not start $SERVER within $timeout seconds" return 1 - fi - done } do_command_safe () { diff --git a/appsrc/ODS-Framework/oauth/make_vad.sh b/appsrc/ODS-Framework/oauth/make_vad.sh index 57fa0edf..c5d3118f 100755 --- a/appsrc/ODS-Framework/oauth/make_vad.sh +++ b/appsrc/ODS-Framework/oauth/make_vad.sh @@ -197,7 +197,7 @@ virtuoso_start() { "$SERVER" +wait fi stat="true" - while true + for i in $(seq 1 15) do sleep 4 echo "Waiting Virtuoso Server start on port $PORT..." @@ -208,17 +208,9 @@ virtuoso_start() { LOG "PASSED: Virtuoso Server successfully started on port $PORT" return 0 fi - nowh=`date | cut -f 2 -d :` - nows=`date | cut -f 3 -d : | cut -f 1 -d " "` - nowh=`expr $nowh - $starth` - nows=`expr $nows - $starts` - nows=`expr $nows + $nowh \* 60` - if test $nows -ge $timeout - then + done LOG "***WARNING: Could not start Virtuoso Server within $timeout seconds" return 1 - fi - done } virtuoso_shutdown() { diff --git a/appsrc/ODS-Gallery/make_vad.sh b/appsrc/ODS-Gallery/make_vad.sh index 3cbc16de..f5163d5f 100755 --- a/appsrc/ODS-Gallery/make_vad.sh +++ b/appsrc/ODS-Gallery/make_vad.sh @@ -135,7 +135,7 @@ virtuoso_start() { "$SERVER" +wait fi stat="true" - while true + for i in $(seq 1 15) do sleep 4 echo "Waiting $SERVER start on port $PORT..." @@ -146,17 +146,9 @@ virtuoso_start() { LOG "PASSED: $SERVER successfully started on port $PORT" return 0 fi - nowh=`date | cut -f 2 -d :` - nows=`date | cut -f 3 -d : | cut -f 1 -d " "` - nowh=`expr $nowh - $starth` - nows=`expr $nows - $starts` - nows=`expr $nows + $nowh \* 60` - if test $nows -ge $timeout - then + done LOG "***WARNING: Could not start $SERVER within $timeout seconds" return 1 - fi - done } do_command_safe () { diff --git a/appsrc/ODS-Polls/make_vad.sh b/appsrc/ODS-Polls/make_vad.sh index 3cd46d3a..bf8da0ad 100755 --- a/appsrc/ODS-Polls/make_vad.sh +++ b/appsrc/ODS-Polls/make_vad.sh @@ -139,7 +139,7 @@ virtuoso_start() { "$SERVER" +wait fi stat="true" - while true + for i in $(seq 1 15) do sleep 4 echo "Waiting $SERVER start on port $PORT..." @@ -150,17 +150,9 @@ virtuoso_start() { LOG "PASSED: $SERVER successfully started on port $PORT" return 0 fi - nowh=`date | cut -f 2 -d :` - nows=`date | cut -f 3 -d : | cut -f 1 -d " "` - nowh=`expr $nowh - $starth` - nows=`expr $nows - $starts` - nows=`expr $nows + $nowh \* 60` - if test $nows -ge $timeout - then + done LOG "***WARNING: Could not start $SERVER within $timeout seconds" return 1 - fi - done } do_command_safe () { diff --git a/appsrc/ODS-WebMail/make_vad.sh b/appsrc/ODS-WebMail/make_vad.sh index 647c6c34..e10383ed 100755 --- a/appsrc/ODS-WebMail/make_vad.sh +++ b/appsrc/ODS-WebMail/make_vad.sh @@ -150,7 +150,7 @@ virtuoso_start() { "$SERVER" +wait fi stat="true" - while true + for i in $(seq 1 15) do sleep 4 echo "Waiting $SERVER start on port $PORT..." @@ -161,17 +161,9 @@ virtuoso_start() { LOG "PASSED: $SERVER successfully started on port $PORT" return 0 fi - nowh=`date | cut -f 2 -d :` - nows=`date | cut -f 3 -d : | cut -f 1 -d " "` - nowh=`expr $nowh - $starth` - nows=`expr $nows - $starts` - nows=`expr $nows + $nowh \* 60` - if test $nows -ge $timeout - then + done LOG "***WARNING: Could not start $SERVER within $timeout seconds" return 1 - fi - done } do_command_safe () { diff --git a/appsrc/ODS-Wiki/make_vad.sh b/appsrc/ODS-Wiki/make_vad.sh index 73d8b11b..f8c9bd22 100755 --- a/appsrc/ODS-Wiki/make_vad.sh +++ b/appsrc/ODS-Wiki/make_vad.sh @@ -141,7 +141,7 @@ virtuoso_start() { "$SERVER" +wait fi stat="true" - while true + for i in $(seq 1 15) do sleep 4 echo "Waiting Virtuoso Server start on port $PORT..." @@ -152,17 +152,9 @@ virtuoso_start() { LOG "PASSED: Virtuoso Server successfully started on port $PORT" return 0 fi - nowh=`date | cut -f 2 -d :` - nows=`date | cut -f 3 -d : | cut -f 1 -d " "` - nowh=`expr $nowh - $starth` - nows=`expr $nows - $starts` - nows=`expr $nows + $nowh \* 60` - if test $nows -ge $timeout - then + done LOG "***WARNING: Could not start Virtuoso Server within $timeout seconds" return 1 - fi - done } do_command_safe () { diff --git a/binsrc/b3s/make_vad.sh b/binsrc/b3s/make_vad.sh index 39671fa4..d61521e9 100755 --- a/binsrc/b3s/make_vad.sh +++ b/binsrc/b3s/make_vad.sh @@ -213,7 +213,7 @@ virtuoso_start() { "$SERVER" +wait fi stat="true" - while true + for i in $(seq 1 15) do sleep 4 echo "Waiting Virtuoso Server start on port $PORT..." @@ -224,17 +224,9 @@ virtuoso_start() { LOG "PASSED: Virtuoso Server successfully started on port $PORT" return 0 fi - nowh=`date | cut -f 2 -d :` - nows=`date | cut -f 3 -d : | cut -f 1 -d " "` - nowh=`expr $nowh - $starth` - nows=`expr $nows - $starts` - nows=`expr $nows + $nowh \* 60` - if test $nows -ge $timeout - then + done LOG "***WARNING: Could not start Virtuoso Server within $timeout seconds" return 1 - fi - done } virtuoso_shutdown() { diff --git a/binsrc/bpel/make_vad.sh b/binsrc/bpel/make_vad.sh index b04518dc..cb93e018 100755 --- a/binsrc/bpel/make_vad.sh +++ b/binsrc/bpel/make_vad.sh @@ -263,7 +263,7 @@ virtuoso_start() { "$SERVER" +wait fi stat="true" - while true + for i in $(seq 1 15) do sleep 4 echo "Waiting Virtuoso Server start on port $PORT..." @@ -274,17 +274,9 @@ virtuoso_start() { LOG "PASSED: Virtuoso Server successfully started on port $PORT" return 0 fi - nowh=`date | cut -f 2 -d :` - nows=`date | cut -f 3 -d : | cut -f 1 -d " "` - nowh=`expr $nowh - $starth` - nows=`expr $nows - $starts` - nows=`expr $nows + $nowh \* 60` - if test $nows -ge $timeout - then + done LOG "***WARNING: Could not start Virtuoso Server within $timeout seconds" return 1 - fi - done } virtuoso_shutdown() { diff --git a/binsrc/hosting/mono/tests/tclrsrv.sh b/binsrc/hosting/mono/tests/tclrsrv.sh index 8f3237fa..5cf92b56 100755 --- a/binsrc/hosting/mono/tests/tclrsrv.sh +++ b/binsrc/hosting/mono/tests/tclrsrv.sh @@ -221,7 +221,7 @@ START_SERVER () rm -f *.lck $SERVER +foreground -c tclr.ini $* 1>/dev/null & stat="true" - while true + for i in $(seq 1 15) do sleep 4 stat=`netstat -an | grep "[\.\:]$PORT " | grep LISTEN` @@ -231,20 +231,9 @@ START_SERVER () LOG "PASSED: Virtuoso Server successfully started on port $port" return 0 fi - - nowh=`date | cut -f 2 -d :` - nows=`date | cut -f 3 -d : | cut -f 1 -d " "` - - nowh=`expr $nowh - $starth` - nows=`expr $nows - $starts` - - nows=`expr $nows + $nowh \* 60` - if test $nows -ge $timeout - then + done LOG "***WARNING: Could not start Virtuoso Server within $timeout seconds" return 1 - fi - done } WAITALL () diff --git a/binsrc/isparql/make_vad.sh b/binsrc/isparql/make_vad.sh index 5a3cf226..f4decfd8 100755 --- a/binsrc/isparql/make_vad.sh +++ b/binsrc/isparql/make_vad.sh @@ -126,7 +126,7 @@ virtuoso_start() { "$SERVER" +wait fi stat="true" - while true + for i in $(seq 1 15) do sleep 4 echo "Waiting $SERVER start on port $PORT..." @@ -137,17 +137,9 @@ virtuoso_start() { LOG "PASSED: $SERVER successfully started on port $PORT" return 0 fi - nowh=`date | cut -f 2 -d :` - nows=`date | cut -f 3 -d : | cut -f 1 -d " "` - nowh=`expr $nowh - $starth` - nows=`expr $nows - $starts` - nows=`expr $nows + $nowh \* 60` - if test $nows -ge $timeout - then + done LOG "***WARNING: Could not start $SERVER within $timeout seconds" return 1 - fi - done } do_command_safe () { diff --git a/binsrc/rdf_mappers/make_vad.sh b/binsrc/rdf_mappers/make_vad.sh index 78847689..feda630d 100755 --- a/binsrc/rdf_mappers/make_vad.sh +++ b/binsrc/rdf_mappers/make_vad.sh @@ -260,7 +260,7 @@ virtuoso_start() { "$SERVER" +wait fi stat="true" - while true + for i in $(seq 1 15) do sleep 4 echo "Waiting Virtuoso Server start on port $PORT..." @@ -271,17 +271,9 @@ virtuoso_start() { LOG "PASSED: Virtuoso Server successfully started on port $PORT" return 0 fi - nowh=`date | cut -f 2 -d :` - nows=`date | cut -f 3 -d : | cut -f 1 -d " "` - nowh=`expr $nowh - $starth` - nows=`expr $nows - $starts` - nows=`expr $nows + $nowh \* 60` - if test $nows -ge $timeout - then + done LOG "***WARNING: Could not start Virtuoso Server within $timeout seconds" return 1 - fi - done } virtuoso_shutdown() { diff --git a/binsrc/samples/demo/make_vad.sh b/binsrc/samples/demo/make_vad.sh index d5845b21..45e9fadb 100755 --- a/binsrc/samples/demo/make_vad.sh +++ b/binsrc/samples/demo/make_vad.sh @@ -124,7 +124,7 @@ virtuoso_start() { "$SERVER" +wait fi stat="true" - while true + for i in $(seq 1 15) do sleep 4 echo "Waiting $SERVER start on port $PORT..." @@ -135,17 +135,9 @@ virtuoso_start() { LOG "PASSED: $SERVER successfully started on port $PORT" return 0 fi - nowh=`date | cut -f 2 -d :` - nows=`date | cut -f 3 -d : | cut -f 1 -d " "` - nowh=`expr $nowh - $starth` - nows=`expr $nows - $starts` - nows=`expr $nows + $nowh \* 60` - if test $nows -ge $timeout - then + done LOG "***WARNING: Could not start $SERVER within $timeout seconds" return 1 - fi - done } do_command_safe () { diff --git a/binsrc/samples/demo/mkdemo.sh b/binsrc/samples/demo/mkdemo.sh index be7cbaf7..71ff65ba 100755 --- a/binsrc/samples/demo/mkdemo.sh +++ b/binsrc/samples/demo/mkdemo.sh @@ -153,7 +153,7 @@ START_SERVER() starth=`date | cut -f 2 -d :` starts=`date | cut -f 3 -d :|cut -f 1 -d " "` - while true + for i in $(seq 1 10) do sleep 6 if (netstat -an | grep "$PORT" | grep LISTEN > /dev/null) @@ -161,19 +161,9 @@ START_SERVER() ECHO "Virtuoso server started" return 0 fi - nowh=`date | cut -f 2 -d :` - nows=`date | cut -f 3 -d : | cut -f 1 -d " "` - - nowh=`expr $nowh - $starth` - nows=`expr $nows - $starts` - - nows=`expr $nows + $nowh \* 60` - if test $nows -ge $timeout - then + done ECHO "***WARNING: Could not start Virtuoso DEMO Server within $timeout seconds" return 1 - fi - done } STOP_SERVER() diff --git a/binsrc/samples/demo/mkdoc.sh b/binsrc/samples/demo/mkdoc.sh index e54eb765..5935b728 100755 --- a/binsrc/samples/demo/mkdoc.sh +++ b/binsrc/samples/demo/mkdoc.sh @@ -174,7 +174,7 @@ START_SERVER() starth=`date | cut -f 2 -d :` starts=`date | cut -f 3 -d :|cut -f 1 -d " "` - while true + for i in $(seq 1 10) do sleep 6 if (netstat -an | grep "$PORT" | grep LISTEN > /dev/null) @@ -182,19 +182,9 @@ START_SERVER() ECHO "Virtuoso server started" return 0 fi - nowh=`date | cut -f 2 -d :` - nows=`date | cut -f 3 -d : | cut -f 1 -d " "` - - nowh=`expr $nowh - $starth` - nows=`expr $nows - $starts` - - nows=`expr $nows + $nowh \* 60` - if test $nows -ge $timeout - then + done ECHO "***WARNING: Could not start Virtuoso DOC Server within $timeout seconds" return 1 - fi - done fi } diff --git a/binsrc/samples/sparql_demo/make_vad.sh b/binsrc/samples/sparql_demo/make_vad.sh index 3529c907..bf7cec76 100755 --- a/binsrc/samples/sparql_demo/make_vad.sh +++ b/binsrc/samples/sparql_demo/make_vad.sh @@ -123,7 +123,7 @@ virtuoso_start() { fi stat="true" - while true + for i in $(seq 1 15) do sleep 4 echo "Waiting $SERVER start on port $PORT..." @@ -134,17 +134,9 @@ virtuoso_start() { LOG "PASSED: $SERVER successfully started on port $PORT" return 0 fi - nowh=`date | cut -f 2 -d :` - nows=`date | cut -f 3 -d : | cut -f 1 -d " "` - nowh=`expr $nowh - $starth` - nows=`expr $nows - $starts` - nows=`expr $nows + $nowh \* 60` - if test $nows -ge $timeout - then + done LOG "***WARNING: Could not start $SERVER within $timeout seconds" return 1 - fi - done } diff --git a/binsrc/samples/xpath/files2dav.sh b/binsrc/samples/xpath/files2dav.sh index edcf6a98..e59a4fb2 100755 --- a/binsrc/samples/xpath/files2dav.sh +++ b/binsrc/samples/xpath/files2dav.sh @@ -104,7 +104,7 @@ START_SERVER() starth=`date | cut -f 2 -d :` starts=`date | cut -f 3 -d :|cut -f 1 -d " "` - while true + for i in $(seq 1 10) do sleep 6 if (netstat -an | grep "$PORT" | grep LISTEN > /dev/null) @@ -112,19 +112,9 @@ START_SERVER() ECHO "Virtuoso server started" return 0 fi - nowh=`date | cut -f 2 -d :` - nows=`date | cut -f 3 -d : | cut -f 1 -d " "` - - nowh=`expr $nowh - $starth` - nows=`expr $nows - $starts` - - nows=`expr $nows + $nowh \* 60` - if test $nows -ge $timeout - then + done ECHO "***WARNING: Could not start Virtuoso DEMO Server within $timeout seconds" return 1 - fi - done } STOP_SERVER() diff --git a/binsrc/samples/xquery/files2dav.sh b/binsrc/samples/xquery/files2dav.sh index 1cf39814..a529a720 100755 --- a/binsrc/samples/xquery/files2dav.sh +++ b/binsrc/samples/xquery/files2dav.sh @@ -104,7 +104,7 @@ START_SERVER() starth=`date | cut -f 2 -d :` starts=`date | cut -f 3 -d :|cut -f 1 -d " "` - while true + for i in $(seq 1 10) do sleep 6 if (netstat -an | grep "$PORT" | grep LISTEN > /dev/null) @@ -112,19 +112,9 @@ START_SERVER() ECHO "Virtuoso server started" return 0 fi - nowh=`date | cut -f 2 -d :` - nows=`date | cut -f 3 -d : | cut -f 1 -d " "` - - nowh=`expr $nowh - $starth` - nows=`expr $nows - $starts` - - nows=`expr $nows + $nowh \* 60` - if test $nows -ge $timeout - then + done ECHO "***WARNING: Could not start Virtuoso DEMO Server within $timeout seconds" return 1 - fi - done } STOP_SERVER() diff --git a/binsrc/sync/make_vad.sh b/binsrc/sync/make_vad.sh index 7e93ec7a..9a37beff 100755 --- a/binsrc/sync/make_vad.sh +++ b/binsrc/sync/make_vad.sh @@ -113,7 +113,7 @@ virtuoso_start() { virtuoso +wait fi stat="true" - while true + for i in $(seq 1 15) do sleep 4 echo "Waiting Virtuoso Server start on port $PORT..." @@ -124,17 +124,9 @@ virtuoso_start() { LOG "PASSED: Virtuoso Server successfully started on port $PORT" return 0 fi - nowh=`date | cut -f 2 -d :` - nows=`date | cut -f 3 -d : | cut -f 1 -d " "` - nowh=`expr $nowh - $starth` - nows=`expr $nows - $starts` - nows=`expr $nows + $nowh \* 60` - if test $nows -ge $timeout - then + done LOG "***WARNING: Could not start Virtuoso Server within $timeout seconds" return 1 - fi - done } do_command_safe () { diff --git a/binsrc/tests/biftest/thook.sh b/binsrc/tests/biftest/thook.sh index 2f9e46e9..3ff0e2e7 100755 --- a/binsrc/tests/biftest/thook.sh +++ b/binsrc/tests/biftest/thook.sh @@ -136,7 +136,7 @@ START_SERVER() rm $LOCKFILE fi RUN $SERVER +foreground $* & - while true + for i in $(seq 1 12) do sleep 5 stat=`netstat -an | grep "[\.\:]$port " | grep LISTEN` @@ -145,19 +145,9 @@ START_SERVER() LOG "PASSED: Virtuoso Server successfully started on port $port" return 0 fi - nowh=`date | cut -f 2 -d :` - nows=`date | cut -f 3 -d : | cut -f 1 -d " "` - - nowh=`expr $nowh - $starth` - nows=`expr $nows - $starts` - - nows=`expr $nows + $nowh \* 60` - if test $nows -ge $timeout - then + done LOG "***WARNING: Could not start Virtuoso Server within $timeout seconds" return 1 - fi - done } echo "STARTED : thook.sh" echo "STARTED : thook.sh" > $OUTPUT diff --git a/binsrc/tests/suite/test_fn.sh b/binsrc/tests/suite/test_fn.sh index c1d92310..2ba37459 100755 --- a/binsrc/tests/suite/test_fn.sh +++ b/binsrc/tests/suite/test_fn.sh @@ -316,7 +316,7 @@ START_SERVER() then return fi - while true + for i in $(seq 1 120) do stat=`netstat -an | grep "[\.\:]$port " | grep LISTEN` if [ "z$stat" != "z" ] @@ -325,25 +325,15 @@ START_SERVER() return 0 fi sleep 1 - nowh=`date | cut -f 2 -d :` - nows=`date | cut -f 3 -d : | cut -f 1 -d " "` - - nowh=`expr $nowh - $starth` - nows=`expr $nows - $starts` - - nows=`expr $nows + $nowh \* 60` - if test $nows -ge $timeout - then + done LOG "***WARNING: Could not start Virtuoso Server within $timeout seconds" return 1 - fi - done } CHECK_PORT() { port=$1 - while true + for i in $(seq 1 60) do stat=`netstat -an | grep "[\.\:]$port " | grep LISTEN` if [ "z$stat" = "z" ] @@ -352,19 +342,9 @@ CHECK_PORT() return 0 fi sleep 1 - nowh=`date | cut -f 2 -d :` - nows=`date | cut -f 3 -d : | cut -f 1 -d " "` - - nowh=`expr $nowh - $starth` - nows=`expr $nows - $starts` - - nows=`expr $nows + $nowh \* 60` - if test $nows -ge $timeout - then + done LOG "***FAILED: Port $port is not freed during $timeout seconds" exit 1 - fi - done } STOP_SERVER() diff --git a/binsrc/tests/suite/tpc-d/tpcd.sh b/binsrc/tests/suite/tpc-d/tpcd.sh index 8cde0467..f4415502 100755 --- a/binsrc/tests/suite/tpc-d/tpcd.sh +++ b/binsrc/tests/suite/tpc-d/tpcd.sh @@ -207,7 +207,7 @@ START_SERVER () rm -f *.lck $SERVER +foreground -c tpcd.ini $* 1>/dev/null & stat="true" - while true + for i in $(seq 1 15) do sleep 4 stat=`netstat -an | grep "[\.\:]$PORT " | grep LISTEN` diff --git a/binsrc/tutorial/make_vad.sh b/binsrc/tutorial/make_vad.sh index 731597e8..a78ac629 100755 --- a/binsrc/tutorial/make_vad.sh +++ b/binsrc/tutorial/make_vad.sh @@ -113,7 +113,7 @@ virtuoso_start() { "$SERVER" +wait fi stat="true" - while true + for i in $(seq 1 15) do sleep 4 echo "Waiting $SERVER start on port $PORT..." @@ -124,17 +124,9 @@ virtuoso_start() { LOG "PASSED: $SERVER successfully started on port $PORT" return 0 fi - nowh=`date | cut -f 2 -d :` - nows=`date | cut -f 3 -d : | cut -f 1 -d " "` - nowh=`expr $nowh - $starth` - nows=`expr $nows - $starts` - nows=`expr $nows + $nowh \* 60` - if test $nows -ge $timeout - then + done LOG "***WARNING: Could not start $SERVER within $timeout seconds" return 1 - fi - done } do_command_safe () { diff --git a/binsrc/vsp/admin/debug/make_vad.sh b/binsrc/vsp/admin/debug/make_vad.sh index 6a3da3f7..97ab6905 100755 --- a/binsrc/vsp/admin/debug/make_vad.sh +++ b/binsrc/vsp/admin/debug/make_vad.sh @@ -79,7 +79,7 @@ virtuoso_start() { virtuoso +wait fi stat="true" - while true + for i in $(seq 1 15) do sleep 4 echo "Waiting Virtuoso Server start on port $PORT..." @@ -90,17 +90,9 @@ virtuoso_start() { LOG "PASSED: Virtuoso Server successfully started on port $PORT" return 0 fi - nowh=`date | cut -f 2 -d :` - nows=`date | cut -f 3 -d : | cut -f 1 -d " "` - nowh=`expr $nowh - $starth` - nows=`expr $nows - $starts` - nows=`expr $nows + $nowh \* 60` - if test $nows -ge $timeout - then + done LOG "***WARNING: Could not start Virtuoso Server within $timeout seconds" return 1 - fi - done } do_command_safe () { diff --git a/binsrc/vspx/suite/vspx_suite.sh b/binsrc/vspx/suite/vspx_suite.sh index 84ebe5d3..eb6afaba 100755 --- a/binsrc/vspx/suite/vspx_suite.sh +++ b/binsrc/vspx/suite/vspx_suite.sh @@ -48,7 +48,7 @@ virtuoso_start() { rm -f *.lck $SERVER stat="true" - while true + for i in $(seq 1 15) do sleep 4 LOG "CHECKING: Is Virtuoso Server successfully started on port $PORT?" @@ -59,17 +59,9 @@ virtuoso_start() { LOG "PASSED: Virtuoso Server successfully started on port $PORT" return 0 fi - nowh=`date | cut -f 2 -d :` - nows=`date | cut -f 3 -d : | cut -f 1 -d " "` - nowh=`expr $nowh - $starth` - nows=`expr $nows - $starts` - nows=`expr $nows + $nowh \* 60` - if test $nows -ge $timeout - then + done LOG "***WARNING: Could not start Virtuoso Server within $timeout seconds" return 1 - fi - done } do_command() { diff --git a/binsrc/yacutia/mkvad.sh b/binsrc/yacutia/mkvad.sh index 7c17aee7..96773636 100755 --- a/binsrc/yacutia/mkvad.sh +++ b/binsrc/yacutia/mkvad.sh @@ -161,7 +161,7 @@ START_SERVER() starth=`date | cut -f 2 -d :` starts=`date | cut -f 3 -d :|cut -f 1 -d " "` - while true + for i in $(seq 1 10) do sleep 6 if (netstat -an | grep "$PORT" | grep LISTEN > /dev/null) @@ -169,19 +169,9 @@ START_SERVER() ECHO "Virtuoso server started" return 0 fi - nowh=`date | cut -f 2 -d :` - nows=`date | cut -f 3 -d : | cut -f 1 -d " "` - - nowh=`expr $nowh - $starth` - nows=`expr $nows - $starts` - - nows=`expr $nows + $nowh \* 60` - if test $nows -ge $timeout - then + done ECHO "***WARNING: Could not start Virtuoso Server within $timeout seconds" return 1 - fi - done } STOP_SERVER() -- 2.30.2