X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=vswitchd%2Fmgmt.h;h=f05c9169c1cc711fc0ff47ff5bd10b80e2280efa;hb=5bfc0cd3c6210fb64b614664045ab240dbd44307;hp=83950cd4dee3e4e2a7451ad19a1e42c5f1d30ec7;hpb=a14bc59fb8f27db193d74662dc9c5cb8237177ef;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);