1

zj

2024-08-14 1040b69682b06d78284b39a277be63cd67edf961

 websocketSerivce/src/main/java/org/example/util/RedisUtil.java

@@ -5,6 +5,7 @@
import redis.clients.jedis.JedisPoolConfig;
import redis.clients.jedis.Protocol;

import java.util.Arrays;
import java.util.List;
import java.util.Set;

@@ -33,6 +34,13 @@
    public static Set<String> keys(String key) {
        try (Jedis jedis = jedisPool.getResource()) {
            return jedis.keys("*"+key+"*");
        }
    }

    public static List<String> mget(List<String> keys) {
        try (Jedis jedis = jedisPool.getResource()) {
            List<String> values = jedis.mget(keys.toArray(new String[0]));
           return values;
        }
    }

@@ -90,6 +98,24 @@
        }
    }

    // 设置 Token 的过期时间
    public void setTokenExpiration(String token, int expirationInSeconds) {
        try (Jedis jedis = jedisPool.getResource()) {
            jedis.expire(token, expirationInSeconds);
        }

    }

    // 更新 Token 的过期时间
    public void updateTokenExpiration(String token, int expirationInSeconds) {
        try (Jedis jedis = jedisPool.getResource()) {
            if (jedis.exists(token)) {
                jedis.expire(token, expirationInSeconds);
            }
        }
    }


    public static void disconnect() {
        jedisPool.close();
    }