X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fovsdb-idl.h;h=88514b942dcdb9baee438d840c75fe6ad4a1369f;hb=e3830e909d210145cbe52a1da66058ebf2581fd6;hp=fb551b485ec6b5355e68e53fe4d6dc5481226fcf;hpb=b54e22e91eee43eb04ad53e2fa919be44f34e731;p=openvswitch

diff --git a/lib/ovsdb-idl.h b/lib/ovsdb-idl.h
index fb551b48..88514b94 100644
--- a/lib/ovsdb-idl.h
+++ b/lib/ovsdb-idl.h
@@ -16,6 +16,7 @@
 #ifndef OVSDB_IDL_H
 #define OVSDB_IDL_H 1
 
+#include <stdbool.h>
 #include <stdint.h>
 
 struct json;
@@ -29,6 +30,7 @@ void ovsdb_idl_run(struct ovsdb_idl *);
 void ovsdb_idl_wait(struct ovsdb_idl *);
 
 unsigned int ovsdb_idl_get_seqno(const struct ovsdb_idl *);
+bool ovsdb_idl_has_ever_connected(const struct ovsdb_idl *);
 void ovsdb_idl_force_reconnect(struct ovsdb_idl *);
 
 enum ovsdb_idl_txn_status {