-
Alessio Netti authored
- a "filter" configuration parameter has been added, which is used to discard sensor names when building the sensor navigator - Can be used to e.g. build a sensor navigator in a collectagent using only the sensors that are directly collected by it - Implemented a switch to select leftmost/rightmost binary search in CacheEntry, used for the QueryEngine
f2970bda