REST Service for POPCORN - ILIAS
alex
2025-06-19 800a350117a99f6ca2d3015ad801ba8d9ca2d6ac
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) {