Damir Jelić 997a179e69 Merge branch 'poljar/shutdown' into develop

2020-03-17 10:15:12 +01:00

..

BaseEventIndexManager.js

EventIndex: Add support to delete events from the index.

2020-03-12 12:01:50 +01:00

EventIndex.js

Merge branch 'poljar/shutdown' into develop

2020-03-17 10:15:12 +01:00

EventIndexPeg.js

EventIndex: Properly await the index closing.

2020-03-13 11:33:58 +01:00