REST Service for POPCORN - ILIAS
alex
2025-05-15 9e1cd642d87d67c645b687231a002753fdfb28ca
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)