Sat, 14 Jan 2017 11:27:55 +0100
fixes server user init
| 31 | 1 | #!/bin/sh |
| 2 | ||
| 3 | PID=`cat /tmp/webserver-rw6pgl8b/pid` | |
| 4 | ||
|
47
ce9790523346
server can change uid
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
31
diff
changeset
|
5 | kill -TERM $PID |
| 31 | 6 |