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
Updated by Alina Lenk 7 months ago
- File 0002-generate_packets.py-forbid-field-names-that-conflict.patch 0002-generate_packets.py-forbid-field-names-that-conflict.patch added
- Status changed from New to In Review
Actions