From 3fe0dfbc0244943143f1a3bc3d34d55cbae4b45d Mon Sep 17 00:00:00 2001
From: Alexandre Iooss <erdnaxe@crans.org>
Date: Sun, 9 Feb 2020 15:45:49 +0100
Subject: [PATCH] How to kill server

---
 README.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/README.md b/README.md
index c53fc42..2fde290 100644
--- a/README.md
+++ b/README.md
@@ -58,6 +58,12 @@ la ligne suivante :
 @reboot /home/club-med/django-med/entrypoint.sh
 ```
 
+Pour couper le serveur, on tue le maître UWSGI,
+
+```bash
+kill -INT `cat ~/django-med/uwsgi.pid`
+```
+
 Il est néanmoins une mauvaise idée de faire de la production sur SQLite,
 on configure donc ensuite Django et une base de données.