diff options
-rw-r--r-- | src/testdir/test_channel.py | 5 | ||||
-rw-r--r-- | src/version.c | 2 |
2 files changed, 7 insertions, 0 deletions
diff --git a/src/testdir/test_channel.py b/src/testdir/test_channel.py index ec231e8c89..66fd48f43a 100644 --- a/src/testdir/test_channel.py +++ b/src/testdir/test_channel.py @@ -192,3 +192,8 @@ if __name__ == "__main__": # Main thread terminates, but the server continues running # until server.shutdown() is called. + try: + while server_thread.isAlive(): + server_thread.join(1) + except (KeyboardInterrupt, SystemExit): + server.shutdown() diff --git a/src/version.c b/src/version.c index d857ed2d51..598d430bcd 100644 --- a/src/version.c +++ b/src/version.c @@ -748,6 +748,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1370, +/**/ 1369, /**/ 1368, |