From f20d5050075d0e3f55fa661d17db9c92fd645356 Mon Sep 17 00:00:00 2001 From: Smoot Date: Tue, 4 Jun 2024 11:52:07 +0200 Subject: [PATCH] Update reporter.bif to describe special case of errors in init Originally proposed in zeek/zeek-docs#257, but reverted via 9f9ebde62380a3012a1471d9ff1c1c91c7aa69da. --- src/reporter.bif | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/reporter.bif b/src/reporter.bif index e1799bd163..3905d14936 100644 --- a/src/reporter.bif +++ b/src/reporter.bif @@ -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. ##