PHPサーバの実行を停止します。コマンドライン

Question

php -S localhost:8000を実行しましたが、もう必要ありません。私は8000 localhostを戻す必要があります。どのようにPHPサーバーを停止するには？

Answer 1

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. 

あなたはその端末を開いていない場合は、プロセスのPIDを見つけ、それを殺さなければなりません。

PIDを見つけてプロセスを終了するには、here is a nice explanation。

Answer 2

killall -9 php

これはどのように行うのですか。