X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=vswitchd%2Fovs-vswitchd.c;h=0371e5711d75c608af0754b6174a597fdbb8f5f2;hb=66642cb40b12594c62f3d3037f1e4efa528416b7;hp=c307c9286b89e04db87abbe8b26cf5b55a377976;hpb=d98e60075528c3065ad453f7add4b30f22edcde3;p=openvswitch

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