Closed cehbrecht closed 6 years ago
With the new deployment relying on Werkzeug we currently have no make stop to shutdown the service.
make stop
It could be implemented by remembering the PID and using kill or using a function provided by Werkzeug:
kill
http://werkzeug.pocoo.org/docs/0.14/serving/#shutting-down-the-server
Description
With the new deployment relying on Werkzeug we currently have no
make stop
to shutdown the service.It could be implemented by remembering the PID and using
kill
or using a function provided by Werkzeug:http://werkzeug.pocoo.org/docs/0.14/serving/#shutting-down-the-server