Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-15 04:58:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 3
299 commits 389 branches 197 tags 279 MiB
Commit graph

2 commits

Author SHA1 Message Date
Robin Sommer
52c54859b6 Bugfix: the header line was ending with a separator. 
Test baselines needed adaption as well.
 2011-03-09 16:55:29 -08:00
Robin Sommer
b69ecff3ee More options for the ASCII writer. 
# The prefix for the header line if included.
	const header_prefix = "# " &redef;

	# The string to use for empty string fields.
	const empty_field = "" &redef;

	# The string to use for an unset optional field.
	const unset_field = "-" &redef;
 2011-03-09 16:52:46 -08:00