#!/bin/sh

/usr/bin/sudo -u cegodb kill -INT `cat /usr/local/cego/pid`

exit 0

