mirror of
https://github.com/zeek/zeek.git
synced 2025-10-02 14:48:21 +00:00
Make backend options a record, move actual options to be sub-records
This commit is contained in:
parent
64f3969434
commit
a485b1d237
23 changed files with 71 additions and 73 deletions
|
@ -28,4 +28,8 @@ export {
|
|||
["temp_store"] = "memory"
|
||||
);
|
||||
};
|
||||
|
||||
redef record Storage::BackendOptions += {
|
||||
sqlite: Options &optional;
|
||||
};
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue