Logging: implement get_filter_names and small fixes.

get_filter_names(id: ID) : set[string] returns the names of the current
list of filters for a specified log stream.

Furthermore this commit makes a number of logging functions more robust
by checking existence of values before trying to modify them. This
commit also really implements (and tests) the enable_stream function.
This commit is contained in:
Johanna Amann 2018-01-17 09:29:41 -08:00
parent fc6e3b4e36
commit a4a9bf4199
8 changed files with 263 additions and 20 deletions

View file

@ -0,0 +1,7 @@
{
default,
f1
}
{
}