mirror of
https://github.com/zeek/zeek.git
synced 2025-10-02 14:48:21 +00:00
A few more tiny documentation updates commited to the wrong branch. :)
This commit is contained in:
parent
727e626bb4
commit
86a1cbca82
3 changed files with 6 additions and 7 deletions
|
@ -17,7 +17,7 @@ export {
|
||||||
|
|
||||||
redef enum Notice::Type += {
|
redef enum Notice::Type += {
|
||||||
## Report if the detected capture loss exceeds the percentage
|
## Report if the detected capture loss exceeds the percentage
|
||||||
## threshold
|
## threshold.
|
||||||
Too_Much_Loss
|
Too_Much_Loss
|
||||||
};
|
};
|
||||||
|
|
||||||
|
|
|
@ -1,4 +1,4 @@
|
||||||
##!
|
##! Log the loaded scripts.
|
||||||
|
|
||||||
module LoadedScripts;
|
module LoadedScripts;
|
||||||
|
|
||||||
|
|
|
@ -2,14 +2,13 @@
|
||||||
|
|
||||||
module Profiling;
|
module Profiling;
|
||||||
|
|
||||||
|
## Set the profiling output file.
|
||||||
redef profiling_file = open_log_file("prof");
|
redef profiling_file = open_log_file("prof");
|
||||||
|
|
||||||
export {
|
## Set the cheap profiling interval.
|
||||||
## Cheap profiling every 15 seconds.
|
redef profiling_interval = 15 secs;
|
||||||
redef profiling_interval = 15 secs &redef;
|
|
||||||
}
|
|
||||||
|
|
||||||
# Expensive profiling every 5 minutes.
|
## Set the expensive profiling interval.
|
||||||
redef expensive_profiling_multiple = 20;
|
redef expensive_profiling_multiple = 20;
|
||||||
|
|
||||||
event bro_init()
|
event bro_init()
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue