#!/bin/bash

kill -INT `cat db/pid` 
