X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=vswitchd%2Fmgmt.h;h=f05c9169c1cc711fc0ff47ff5bd10b80e2280efa;hb=dc81071d9fe21beaead51a9c0a8d87fbefbfcf56;hp=83950cd4dee3e4e2a7451ad19a1e42c5f1d30ec7;hpb=34e63086edddcae06d7c1a4fa84fec0861e50758;p=openvswitch

diff --git a/vswitchd/mgmt.h b/vswitchd/mgmt.h
index 83950cd4..f05c9169 100644
--- a/vswitchd/mgmt.h
+++ b/vswitchd/mgmt.h
@@ -18,7 +18,7 @@
 
 void mgmt_init(void);
 void mgmt_reconfigure(void);
-void mgmt_run(void);
+bool mgmt_run(void);
 void mgmt_wait(void);
 uint64_t mgmt_get_mgmt_id(void);