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