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

Update reporter.bif to describe special case of errors in init

Browse source 
Originally proposed in zeek/zeek-docs#257, but reverted via
9f9ebde62380a3012a1471d9ff1c1c91c7aa69da.
This commit is contained in:
Smoot 2024-06-04 11:52:07 +02:00 • committed by Arne Welzel
parent 29d66ec197
commit f20d505007
1 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/reporter.bif
View file

@ -43,8 +43,9 @@ function Reporter::warning%(msg: string%): bool
return zeek::val_mgr->True();
%}
## Generates a non-fatal error indicative of a definite problem that should
## be addressed. Program execution does not terminate.
## Generates a usually non-fatal error indicative of a definite problem that
## should be addressed. Program execution does not terminate unless the error
## is reported during initialization (e.g., :zeek:see:`zeek_init`).
##
## msg: The error message to report.
##