cleanup

alex

2025-06-30 9506b34ae11fe3d2e028c0fe47775583d5f61ab0

 lib/search.js

@@ -77,6 +77,7 @@

/////////////////////////////////////////////////////////////////////////

let indexed = false
async function doIndex () {
   const start = Date.now()
   console.log("++ START indexing Users...")
@@ -100,10 +101,13 @@
      addUser(user)
      // addTags(user)
   }
   indexed = true
   console.log(`++ END indexing Users in ${Date.now() - start}ms`)
}

function search (query) {
async function search (query) {
   // when called from a cli program the search index is not initalized
   if(!indexed) await doIndex()
   const searchLimit = 10000
   return idxUser.search(query, searchLimit)
}
@@ -126,8 +130,9 @@

function getUserString (user) {
   const {usr_id, firstname, lastname, login, institution, department} = user
   if(firstname.trim()==="Adolfo") console.log(user)
   return `${usr_id} ${login} ${firstname} ${lastname} ${institution} ${department}`.trim()
   // if(firstname.trim()==="Adolfo") console.log(user)
   return `${login} ${firstname} ${lastname} ${institution} ${department}`.trim()
   // return `${usr_id} ${login} ${firstname} ${lastname} ${institution} ${department}`.trim() // KEINE usr_id
   // return `${usr_id} ${firstname} ${lastname}`.trim()
}