index d091e2b4b8d375d4bbf00c738de0c51792ac9e68..3473fa1c89535475e3947ecefd25525a016ffc3f 100755 (executable)
| grep -F "localhost" \
| grep -F "other.host.name" \
| grep -F "some.host.name"
-kill $!
+kill $sysdbd_pid
+wait $sysdbd_pid
+