toggle menu
zinc-grader
2024.01.99
jvm
switch theme
search in API
redis-daemon
/
dev.ust.zinc.grader.daemon.messengers
/
Redis
/
RecoverableJedisPool
/
useConnection
use
Connection
fun
<
T
>
useConnection
(
block
:
(
Jedis
)
->
T
)
:
T
Obtains a
Jedis
instance from the
pool
, executes
block
, and closes the connection at the end.