Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-16 13:38:19 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

document use of double quotes to escape case-insensitivity

Browse source
This commit is contained in:
Vern Paxson 2018-06-29 11:35:22 -07:00
parent 5ce3d1b899
commit a02d9e7f4a
2 changed files with 9 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
doc/script-reference/types.rst
View file

@ -260,6 +260,10 @@ Here is a more detailed description of each type:
trailing whitespace after the ``+i`` designator. So, for example,
``/foo|(+i bar)/`` will match "foo" and "BaR", but *not* "Foo".
For both ways of specifying case-insensitivity, characters enclosed
in double quotes maintain their case-sensitivity. So for example
/"foo"/i will not match "Foo", but it will match "foo".
.. bro:type:: port
A type representing transport-level port numbers (besides TCP and