diff options
| -rw-r--r-- | ovsdb/jsonrpc-server.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ovsdb/jsonrpc-server.c b/ovsdb/jsonrpc-server.c index 1dcd39429..206570251 100644 --- a/ovsdb/jsonrpc-server.c +++ b/ovsdb/jsonrpc-server.c @@ -1374,7 +1374,7 @@ ovsdb_jsonrpc_monitor_flush_all(struct ovsdb_jsonrpc_session *s) } void -ovsdb_jsonrpc_disable_monitor2() +ovsdb_jsonrpc_disable_monitor2(void) { /* Once disabled, it is not possible to re-enable it. */ monitor2_enable__ = false; |