X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fjsonrpc.h;h=d95148cbe5440ae1ab78def453fc977ed8dba645;hb=e7fc1e71a2d7c923335bfdfb3cc7c223936aee38;hp=154c459afb615314ba8152cd93de7c6e7e5df0a2;hpb=0d11f523a371910cb0ed5549a85836f83a7552c2;p=openvswitch

diff --git a/lib/jsonrpc.h b/lib/jsonrpc.h
index 154c459a..d95148cb 100644
--- a/lib/jsonrpc.h
+++ b/lib/jsonrpc.h
@@ -115,4 +115,9 @@ bool jsonrpc_session_is_connected(const struct jsonrpc_session *);
 unsigned int jsonrpc_session_get_seqno(const struct jsonrpc_session *);
 void jsonrpc_session_force_reconnect(struct jsonrpc_session *);
 
+void jsonrpc_session_set_max_backoff(struct jsonrpc_session *,
+                                     int max_backofF);
+void jsonrpc_session_set_probe_interval(struct jsonrpc_session *,
+                                        int probe_interval);
+
 #endif /* jsonrpc.h */