1

zj

2024-08-03 388cab2e8ce85f138f4d1bc3bfbf6acd0778467f

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

@@ -90,6 +90,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();
    }