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

Trying to fix a state maintenance issue.

Browse source
This commit is contained in:
Seth Hall 2013-04-11 09:42:46 -04:00
parent 94f39fee2a
commit a615601269
2 changed files with 19 additions and 15 deletions
Download patch file Download diff file Expand all files Collapse all files

4
scripts/base/utils/queue.bro
View file

@ -21,14 +21,14 @@ export {
## Returns: An opaque queue record.
global init: function(s: Settings): Queue;
## Push a string onto the top of a queue.
## Put a string onto the beginning of a queue.
##
## q: The queue to put the value into.
##
## val: The value to insert into the queue.
global put: function(q: Queue, val: any);
## Pop a string from the bottom of a queue.
## Get a string from the end of a queue.
##
## q: The queue to get the string from.
##