X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=ovsdb%2FSPECS;h=4020241e54e44a17a7b5eb9922724bce784304f8;hb=f1193301162788fadc0f6faa1af9441f93a623d8;hp=c77f28c0043ffdb71b08139ddfd025177a09ea12;hpb=a817e5246e7446e6381b408b69f3bf353bea8bed;p=openvswitch

diff --git a/ovsdb/SPECS b/ovsdb/SPECS
index c77f28c0..4020241e 100644
--- a/ovsdb/SPECS
+++ b/ovsdb/SPECS
@@ -37,6 +37,10 @@ values.  Additional notation is presented later.
 
     Any JSON value.
 
+<nonnull-json-value>
+
+    Any JSON value except null.
+
 <error>
 
     A JSON object with the following members:
@@ -250,7 +254,7 @@ Request object members:
 
     "method": "list_dbs"              required
     "params": []                      required
-    "id": any JSON value except null  required
+    "id": <nonnull-json-value>        required
 
 Response object members:
 
@@ -269,7 +273,7 @@ Request object members:
 
     "method": "get_schema"            required
     "params": [<db-name>]             required
-    "id": any JSON value except null  required
+    "id": <nonnull-json-value>        required
 
 Response object members:
 
@@ -287,7 +291,7 @@ Request object members:
 
     "method": "transact"                  required
     "params": [<db-name>, <operation>*]   required
-    "id": any JSON value except null      required
+    "id": <nonnull-json-value>            required
 
 Response object members:
 
@@ -397,7 +401,7 @@ Request object members:
 
     "method": "monitor"                                       required
     "params": [<db-name>, <json-value>, <monitor-requests>]   required
-    "id": any JSON value except null                          required
+    "id": <nonnull-json-value>                                required
 
 <monitor-requests> is an object that maps from a table name to a
 <monitor-request>.
@@ -505,7 +509,7 @@ Request object members:
 
     "method": "monitor_cancel"                              required
     "params": [<json-value>]                                required
-    "id": any JSON value except null                        required
+    "id": <nonnull-json-value>                              required
 
 Response object members: