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

mercurial