Actions
Feature #445
closedgenerate_packets.py: forbid field names `fields` and `pid`
Start date:
04/12/2024
Due date:
% Done:
0%
Estimated time:
Description
In the JSON delta protocol, the packet ID is transmitted with the key "pid"
, and the delta header bitvector is transmitted with the key "fields"
~> no actual fields of the packet may have these names.
NB: Could allow "fields"
in non-delta packets, or even allow it and generate a different name for the header key, but we can still do that if we ever need it.
Files
Actions