REST Service for POPCORN - ILIAS
alex
2025-06-16 99be6af8ce8a01257c8af28d4c22e9090f9bf1f7
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) {