diff options
| -rw-r--r-- | ovsdb/ovsdb-server.c | 3 | ||||
| -rw-r--r-- | vswitchd/ovs-vswitchd.c | 3 |
2 files changed, 6 insertions, 0 deletions
diff --git a/ovsdb/ovsdb-server.c b/ovsdb/ovsdb-server.c index 872cc9f9..c7a93815 100644 --- a/ovsdb/ovsdb-server.c +++ b/ovsdb/ovsdb-server.c @@ -149,6 +149,9 @@ main(int argc, char *argv[]) if (run_process) { process_wait(run_process); } + if (exiting) { + poll_immediate_wake(); + } poll_block(); } ovsdb_jsonrpc_server_destroy(jsonrpc); diff --git a/vswitchd/ovs-vswitchd.c b/vswitchd/ovs-vswitchd.c index c307c928..0371e571 100644 --- a/vswitchd/ovs-vswitchd.c +++ b/vswitchd/ovs-vswitchd.c @@ -99,6 +99,9 @@ main(int argc, char *argv[]) unixctl_server_wait(unixctl); dp_wait(); netdev_wait(); + if (exiting) { + poll_immediate_wake(); + } poll_block(); } |