#!/bin/sh
kill `ps -ax | grep -i keymgmt | cut -c 1-5`
kill `ps -ax | grep -i athens | cut -c 1-5`
sleep 1
kill `ps -ax | grep -i athens | cut -c 1-5`
sleep 1
kill `ps -ax | grep -i athens | cut -c 1-5`

