mirror of
https://github.com/zeek/zeek.git
synced 2025-10-02 14:48:21 +00:00
![]() Populate script_id$type_name with what the type_name() bif would produce for the same identifier. Closes #3490 |
||
---|---|---|
.. | ||
out |
![]() Populate script_id$type_name with what the type_name() bif would produce for the same identifier. Closes #3490 |
||
---|---|---|
.. | ||
out |