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

31
280250e45ba6 updated ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
1 #!/bin/sh
280250e45ba6 updated ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
2
280250e45ba6 updated ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
3 PID=`cat /tmp/webserver-rw6pgl8b/pid`
280250e45ba6 updated ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
4
47
ce9790523346 server can change uid
Olaf Wintermann <olaf.wintermann@gmail.com>
parents: 31
diff changeset
5 kill -TERM $PID
31
280250e45ba6 updated ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
6

mercurial