Damir Jelić 8de149704e EventIndexPanel: Dynamically update the indexer stats.

2020-01-20 17:43:55 +01:00

..

BaseEventIndexManager.js

EventIndexPanel: Get more stats for our indexer, not just the size.

2020-01-20 17:42:24 +01:00

EventIndex.js

EventIndexPanel: Dynamically update the indexer stats.

2020-01-20 17:43:55 +01:00

EventIndexPeg.js

EventIndexPeg: Add a helper method to easily start the crawler.

2020-01-17 14:22:22 +01:00