ovsdb: Fix bug in JSON-RPC server.