templates/bin/stopserv.template@6a145e13d933
templates/bin/stopserv.template
Sat, 13 Jan 2018 18:48:19 +0100
- author
- Olaf Wintermann <olaf.wintermann@gmail.com>
- date
- Sat, 13 Jan 2018 18:48:19 +0100
- branch
- aio
- changeset 192
- 6a145e13d933
- parent 47
-
ce9790523346
- child 175
-
9823770ba4ee
- permissions
- -rw-r--r--
replaces eventfd with pipe and closes aio branch
#!/bin/sh
PID=`cat /tmp/webserver-rw6pgl8b/pid`
kill -TERM $PID