REST Service for POPCORN - ILIAS
alex
2025-06-19 7a2f304888c58f61cfd0a918ae9ea573a8d729ba
lib/search.js
@@ -89,7 +89,10 @@
      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)
      users = data
   }
   for (const user of users) {
@@ -121,8 +124,8 @@
/////// idxMessage FNS ////////////////////////////////////////////////////////////////
function getUserString (user) {
   const {usr_id, firstname, lastname, institution, department} = user
   return `${usr_id} ${firstname} ${lastname} ${institution} ${department}`.trim()
   const {usr_id, firstname, lastname, login, institution, department} = user
   return `${usr_id} ${login} ${firstname} ${lastname} ${institution} ${department}`.trim()
   // return `${usr_id} ${firstname} ${lastname}`.trim()
}