#!/bin/sh

echo "Killing IR ..."
kill -15 `cat ird.pid`
echo "Killing BOA ..."
kill -15 `cat micod.pid`