diff options
-rwxr-xr-x | bin/ryu-manager | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/bin/ryu-manager b/bin/ryu-manager index 2924bd49..d9cc8059 100755 --- a/bin/ryu-manager +++ b/bin/ryu-manager @@ -77,8 +77,10 @@ def main(): thr = gevent.spawn_later(0, webapp) services.append(thr) - gevent.joinall(services) - app_mgr.close() + try: + gevent.joinall(services) + finally: + app_mgr.close() if __name__ == "__main__": |