How to kill server

2020-02-09 15:45:49 +01:00 · 2020-02-09 15:45:49 +01:00 · 3fe0dfbc02
parent d7d68609d1
commit 3fe0dfbc02
1 changed files with 6 additions and 0 deletions
--- 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.