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