#!/bin/bash
if [ ! -f .php_pid ]; then
	echo Server not started.
else
	kill -9 $(cat .php_pid)
	rm .php_pid
fi
