diff options
author | Colin Watson <cjwatson@debian.org> | 2017-03-09 11:20:38 +0000 |
---|---|---|
committer | Colin Watson <cjwatson@debian.org> | 2017-03-30 00:20:13 +0100 |
commit | deabedcd80fd145a2eb350ad5a6a34670750a755 (patch) | |
tree | b366443eb1d45623f950eceec42bbe59c3888b32 /debian/openssh-server.if-up | |
parent | 48ad3d219f0d19d28bd1fe26abd348515477fa6f (diff) |
Move privilege separation directory and PID file from /var/run/ to /run/ (closes: #760422, #856825).
Diffstat (limited to 'debian/openssh-server.if-up')
-rw-r--r-- | debian/openssh-server.if-up | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/openssh-server.if-up b/debian/openssh-server.if-up index 915284cc6..525c2153b 100644 --- a/debian/openssh-server.if-up +++ b/debian/openssh-server.if-up | |||
@@ -25,8 +25,8 @@ if [ ! -e /usr/sbin/sshd ]; then | |||
25 | exit 0 | 25 | exit 0 |
26 | fi | 26 | fi |
27 | 27 | ||
28 | if [ ! -f /var/run/sshd.pid ] || \ | 28 | if [ ! -f /run/sshd.pid ] || \ |
29 | [ "$(ps -p "$(cat /var/run/sshd.pid)" -o comm=)" != sshd ]; then | 29 | [ "$(ps -p "$(cat /run/sshd.pid)" -o comm=)" != sshd ]; then |
30 | exit 0 | 30 | exit 0 |
31 | fi | 31 | fi |
32 | 32 | ||