Remote Debugging Protocol: Difference between revisions

→‎Packets: Clarify that actor names are always JSON integers.
(→‎Packets: Clarify that actor names are always JSON integers.)
Line 27: Line 27:
   { "to": <i>actor</i>, "type": <i>type</i>, ... }
   { "to": <i>actor</i>, "type": <i>type</i>, ... }


where <i>actor</i> is a JSON integer naming the actor to whom the packet is directed, and <i>type</i> is a string specifying what sort of packet it is. Additional properties may be present, depending on <i>type</i>.
where <i>actor</i> is the actor to whom the packet is directed&mdash;actor names are always JSON integers&mdash;and <i>type</i> is a string specifying what sort of packet it is. Additional properties may be present, depending on <i>type</i>.


Every packet sent from the server has the form:
Every packet sent from the server has the form:
Line 33: Line 33:
   { "from": <i>actor</i>, ... }
   { "from": <i>actor</i>, ... }


where <i>actor</i> is a JSON integer naming the actor that sent it. Additional properties may be present, depending on the situation.
where <i>actor</i> is the name of the actor that sent it. Additional properties may be present, depending on the situation.


= Requests and Replies =
= Requests and Replies =
Confirmed users
496

edits