mirror of
https://github.com/zeek/zeek.git
synced 2025-10-03 07:08:19 +00:00
ded98cd373
This is based on commit 2731def9159247e6da8a3191783c89683363689c from the zeek-docs repo.
25 lines
984 B
ReStructuredText
25 lines
984 B
ReStructuredText
:tocdepth: 3
|
|
|
|
policy/misc/profiling.zeek
|
|
==========================
|
|
.. zeek:namespace:: Profiling
|
|
|
|
Turns on profiling of Zeek resource consumption.
|
|
|
|
:Namespace: Profiling
|
|
|
|
Summary
|
|
~~~~~~~
|
|
Redefinitions
|
|
#############
|
|
=============================================================================== =================================================
|
|
:zeek:id:`expensive_profiling_multiple`: :zeek:type:`count` :zeek:attr:`&redef` Set the expensive profiling interval (multiple of
|
|
:zeek:id:`profiling_interval`).
|
|
:zeek:id:`profiling_file`: :zeek:type:`file` :zeek:attr:`&redef` Set the profiling output file.
|
|
:zeek:id:`profiling_interval`: :zeek:type:`interval` :zeek:attr:`&redef` Set the cheap profiling interval.
|
|
=============================================================================== =================================================
|
|
|
|
|
|
Detailed Interface
|
|
~~~~~~~~~~~~~~~~~~
|
|
|