X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=ovsdb%2Fovsdb-server.c;h=c7a93815b80346d92519e2bb1c2d0a3e12cf917e;hb=00a250d2a69ab369fb01054a8cf9b33f6be7bb0b;hp=872cc9f9f4bfae30593f66e786d7a9c67e9eafc5;hpb=94db54073ea372406d4d82a009301984b097bc6b;p=openvswitch

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);