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

Add supervisor btests

Browse source
This commit is contained in:
Jon Siwek 2020-01-16 19:21:53 -08:00
parent 21c75b46eb
commit 1972190b89
30 changed files with 546 additions and 14 deletions
Download patch file Download diff file Expand all files Collapse all files

2
scripts/base/frameworks/supervisor/api.zeek
View file

@ -32,7 +32,7 @@ export {
type NodeStatus: record {
node: NodeConfig;
pid: count;
pid: int &optional;
};
type Status: record {