···4848 );
4949`)
50505151-const userManager = new IndexServerUserManager();
5252-userManager.coldStart(systemDB)
5151+export const indexerUserManager = new IndexServerUserManager();
5252+indexerUserManager.coldStart(systemDB)
53535454// should do both of these per user actually, since now each user has their own db
5555// also the set of records and backlinks to listen should be seperate between index and view servers