REST Service for POPCORN - ILIAS
alex
2025-05-15 4bc1e5806a5d6ab6b87199dbb366c4ae54823701
tst.js
@@ -19,9 +19,11 @@
   const user2 = await db.getUserByUserId(317)
   console.log("user2", user2)
   const start = new Date()
   const users = await db.getUsers(10,0)
   const users2 = users.map(({usr_id,login,firstname,lastname,email,institution}) => ({usr_id,login,firstname,lastname,institution}))
   console.table(users2)
   console.log(new Date() - start + "ms")
   const count = await db.getUserCount()
   console.log("count",count)