Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-02 14:48:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

Do not include documentation of commented-out items

Browse source 
Some documentation of commented-out items was being output to HTML,
which was causing that documentation to be merged with the
documentation of the next item.  Fixed by changing "##" to "#" so
that the doc comments are not included in the HTML.
This commit is contained in:
Daniel Thayer 2013-10-22 13:46:09 -05:00
parent bb14a44c2f
commit e724e5d392
2 changed files with 6 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

6
scripts/base/utils/active-http.bro
View file

@ -32,9 +32,11 @@ export {
## mind that you will probably need to set the *method* field
## to "POST" or "PUT".
client_data: string &optional;
## Arbitrary headers to pass to the server. Some headers
## will be included by libCurl.
# Arbitrary headers to pass to the server. Some headers
# will be included by libCurl.
#custom_headers: table[string] of string &optional;
## Timeout for the request.
max_time: interval &default=default_max_time;
## Additional curl command line arguments. Be very careful