lektor

You can double ctrl+c to really kill the server, but you will need to
use the -F option when you relaunch the server.