From c4af418bffa1a6c2e0dafd0765f6cc2642004769 Mon Sep 17 00:00:00 2001 From: Mohammad Shahrukh Date: Mon, 3 Dec 2018 15:08:10 +0530 Subject: [PATCH] Update kill_server.md --- all/kill_server.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/all/kill_server.md b/all/kill_server.md index b158bc4..61c4cd0 100755 --- a/all/kill_server.md +++ b/all/kill_server.md @@ -44,7 +44,12 @@ $ kill -9 4894 ``` And that's it. You can kill this server without an error running. +A one liner for the above steps is +``` +$ kill -9 $(lsof -ti :8000) +``` +You can replace change the port number in case you are using a different ont. Alternatively we can use the `fg` command in linux, which brings our processes to the foreground, and than press `ctrl + c` to quit the server. For more help on fg use :