REST Service for POPCORN - ILIAS
alex
2025-06-20 5ad82c502af6db6c3697f0c54ed233f74a43eedb
lib/search.js
@@ -80,8 +80,8 @@
async function doIndex () {
   const start = Date.now()
   console.log("++ START indexing Users...")
   const {readFromFile, file} = settings.search
   clearIndex(idxUser)
   let users
   if (readFromFile) {
@@ -89,7 +89,11 @@
      users = JSON.parse(users)
   }
   else {
      // TODO zweite möglichkeit "readFromApi" implementieren
      console.log("~~~ reading users from DB ... ~~~")
      const db = require("./db")
      const {data} = await db.getUsers(0, 100000)
      console.log(`loaded ${data.length} users from DB...`)
      users = data
   }
   for (const user of users) {
@@ -122,6 +126,7 @@
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()
   // return `${usr_id} ${firstname} ${lastname}`.trim()
}
@@ -138,6 +143,10 @@
   remove(idxUser, usr_id)
}
function clearIndex(index) {
   index.clear()
}
/////// idxTags FNS ////////////////////////////////////////////////////////////////