#! /bin/bash
kill -TERM $(cat run.pid)