toggle menu
zinc-grader
2024.01.99
jvm
switch theme
search in API
redis-daemon
/
dev.ust.zinc.grader.daemon.messengers
/
Redis
/
RecoverableJedisPool
/
createJedisPool
create
Jedis
Pool
private
fun
createJedisPool
(
)
:
JedisPool
Creates a
JedisPool
using the current, active configuration.