#!/bin/sh
kill -INT `cat pid`
