Confirmed users
496
edits
Remote Debugging Protocol: Difference between revisions
→Packets: Clarify that actor names are always JSON integers.
(→Actors) |
(→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 | where <i>actor</i> is the actor to whom the packet is directed—actor names are always JSON integers—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 | 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 = | ||