mirror of
https://github.com/zeek/zeek.git
synced 2025-10-02 14:48:21 +00:00
a56ee6b9a6
We can figure out later whether & where to re-settle helper functions that end up in there.
17 lines
278 B
Text
17 lines
278 B
Text
module ClusterController::Util;
|
|
|
|
export {
|
|
global set_to_vector: function(ss: set[string]): vector of string;
|
|
}
|
|
|
|
function set_to_vector(ss: set[string]): vector of string
|
|
{
|
|
local res: vector of string;
|
|
|
|
for ( s in ss )
|
|
res[|res|] = s;
|
|
|
|
sort(res, strcmp);
|
|
|
|
return res;
|
|
}
|