summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rwxr-xr-xbin/ryu-manager6
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__":