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

Move spicy/misc scripts to policy and clarify purpose.

Browse source
This commit is contained in:
Robin Sommer 2023-05-15 17:20:01 +02:00
parent a62e153dd3
commit ecf00295c2
No known key found for this signature in database
GPG key ID: D8187293B3FFE5D0
6 changed files with 12 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

18
scripts/base/frameworks/spicy/misc/resource-usage.zeek
View file

@ -1,18 +0,0 @@
module Spicy;
event print_usage()
{
local r = Spicy::resource_usage();
print fmt("%.6f Spicy user=%f sys=%f heap=%d current_fibers=%d cached_fibers=%d max_fibers=%d max_stack=%d",
network_time(), r$user_time, r$system_time, r$memory_heap,
r$num_fibers, r$cached_fibers, r$max_fibers,
r$max_fiber_stack_size);
schedule 1 min { print_usage() };
}
event zeek_init()
{
schedule 1 min { print_usage() };
}