Si hemos iniciado el servidor php mediante:

php -S localhost:8001 -t public/

En un principio pulsando ctrl + C debería detenerse, pero si no es así, lo que podemos hacer es detener el proceso con kill

Para ellos necesitamos saber el PID del proceso, escribimos en consola:

ps

y nos devolverá algo parecido a:

  PID TTY           TIME CMD
 1332 ttys000    0:00.07 -bash
 1370 ttys001    0:00.15 -bash
 2080 ttys001    0:00.08 php -S localhost:8001 -t public/

O si queremos algo mas concreto podemos filtrar la busqueda con grep:

ps | grep php

Y y nos devuelve:

 2090 ttys000    0:00.00 grep php
 2080 ttys001    0:00.08 php -S localhost:8001 -t public/

Para matar el proceso ya sabemos su PID, en nuestro caso es el proceso «2080»

Ahora escribimos:

kill 2080

Y listo, el proceso estará muerto, si queremos comprobarlo volvemos a escribir en consola

ps

y:

  PID TTY           TIME CMD
 1332 ttys000    0:00.08 -bash
 1370 ttys001    0:00.16 -bash

El proceso ya no existe 🙂