While the above is a valuable sanity-check, it turns out that it doesn't

really fix the bug (thanks to Kevin Price for testing), so for the
meantime we'll just use '/etc/init.d/ssh restart', even though it is
unfortunately heavyweight.

1 files changed, 2 insertions, 1 deletions

diff --git a/debian/openssh-server.if-up b/debian/openssh-server.if-up
index 8db44fded..3b3120c66 100644
--- a/debian/openssh-server.if-up
+++ b/debian/openssh-server.if-up
@@ -30,6 +30,7 @@ if [ ! -f /var/run/sshd.pid ] || \
         exit 0
 fi
 
-/etc/init.d/ssh reload >/dev/null 2>&1 || true
+# We'd like to use 'reload' here, but it has some problems; see #502444.
+/etc/init.d/ssh restart >/dev/null 2>&1 || true
 
 exit 0