exitcode=0
d=bin
[ -d bin/${BUILD_TYPE} ] && d=bin/${BUILD_TYPE}
$d/HelloworldPublisher & pub_pid=$!
$d/HelloworldSubscriber & sub_pid=$!
for n in {5..0} ; do
    if ! kill -0 $pub_pid 2>/dev/null && ! kill -0 $sub_pid 2>/dev/null; then
        break
    fi
    sleep 1
done
if [[ $n -eq 0 ]] ; then
    echo "killing process $pub_pid and $sub_pid"
    kill -9 $pub_pid
    kill -9 $sub_pid
    exitcode=2
fi
if [[ $exitcode -gt 0 ]] ; then
    echo "** FAILED **"
else
    echo "** OK **"
fi
exit $exitcode
