mirror of
https://github.com/zeek/zeek.git
synced 2025-10-07 17:18:20 +00:00
![]() While in Spicy code a hook priority is spelled `priority=4711` the
attribute is still called `&priority` (like in HILTI) and we rely on
exactly that name when e.g., extracting hook priorities for scheduling.
This change was introduced as part of
|
||
---|---|---|
.. | ||
output |