diff options
Diffstat (limited to 'debian/patches/helpful-wait-terminate.patch')
| -rw-r--r-- | debian/patches/helpful-wait-terminate.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/patches/helpful-wait-terminate.patch b/debian/patches/helpful-wait-terminate.patch index 857f86456..298e8e216 100644 --- a/debian/patches/helpful-wait-terminate.patch +++ b/debian/patches/helpful-wait-terminate.patch | |||
| @@ -7,7 +7,7 @@ Index: b/serverloop.c | |||
| 7 | =================================================================== | 7 | =================================================================== |
| 8 | --- a/serverloop.c | 8 | --- a/serverloop.c |
| 9 | +++ b/serverloop.c | 9 | +++ b/serverloop.c |
| 10 | @@ -680,7 +680,7 @@ | 10 | @@ -686,7 +686,7 @@ |
| 11 | if (!channel_still_open()) | 11 | if (!channel_still_open()) |
| 12 | break; | 12 | break; |
| 13 | if (!waiting_termination) { | 13 | if (!waiting_termination) { |