#!/bin/sh

DBROOT=./db
PIDFILE=${DBROOT}/pid

kill -s INT `cat db/pid`
