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