So I've done
php -S localhost:8000
PHP 5.4.0 Development Server started at Thu Jul 21 10:43:28 2011 Listening on localhost:8000 Document root is /home/me/public_html Press Ctrl-C to quit.
If you don't have that terminal open, you have to find the
PID of the process and kill that.
To find the
PID and kill the process, here is a nice explanation.