#!/bin/sh
# 
# @file stop.sh
# @brief Kill all processes started by run.sh
# @author Masayuki Shimizu <masayuki.shimizu@aist.go.jp> 
#

coutpid=`pgrep -n -f "ConsoleOutComp"`
if test -n "$coutpid"; then
    kill $coutpid
    echo "ConsoleOutComp stopped."
fi

cinpid=`pgrep -n -f "ConsoleInComp"`
if test -n "$cinpid"; then
    kill $cinpid
    echo "ConsoleInComp stopped."
fi

omnipid=`pgrep -n -f "omniNames"`
if test -n "$omnipid"; then
    kill $omnipid
    echo "Naming service stopped."
fi