mirror of
https://github.com/zeek/zeek.git
synced 2025-10-06 08:38:20 +00:00
![]() I'd expect the portnum component to remain uninitialized in case the given URI specifies no port number -- however, decompose_uri() raises an error instead. Will address this in a subsequent commit. |
||
---|---|---|
.. | ||
base | ||
policy | ||
site | ||
check-test-all-policy.zeek |