From f88cfa02e36752e4acad7adc4b045155e8e50f21 Mon Sep 17 00:00:00 2001 From: puzhibing <393733352@qq.com> Date: 星期五, 08 十二月 2023 09:16:29 +0800 Subject: [PATCH] Merge branch 'master' of http://120.76.84.145:10101/gitblit/r/java/PlayPai --- cloud-server-account/src/main/java/com/dsh/account/util/TokenUtil.java | 24 +++++++++++++++++++++--- 1 files changed, 21 insertions(+), 3 deletions(-) diff --git a/cloud-server-account/src/main/java/com/dsh/account/util/TokenUtil.java b/cloud-server-account/src/main/java/com/dsh/account/util/TokenUtil.java index 5397637..79e4f80 100644 --- a/cloud-server-account/src/main/java/com/dsh/account/util/TokenUtil.java +++ b/cloud-server-account/src/main/java/com/dsh/account/util/TokenUtil.java @@ -22,15 +22,33 @@ requestHeader = requestHeader.substring(requestHeader.indexOf(" ") + 1); String key = null; int length = requestHeader.length(); - if(length > 32){ + if (length > 32) { key = requestHeader.substring(length - 32); - }else{ + } else { key = requestHeader; } String value = redisUtil.getValue(key); return null != value ? Integer.valueOf(value) : null; - }else{ + } else { return null; } } + + public void logout() { + ServletRequestAttributes servletRequestAttributes = (ServletRequestAttributes) RequestContextHolder.getRequestAttributes(); + HttpServletRequest request = servletRequestAttributes.getRequest(); + String requestHeader = request.getHeader("Authorization"); + if (requestHeader != null && requestHeader.startsWith("Bearer ")) { + requestHeader = requestHeader.substring(requestHeader.indexOf(" ") + 1); + String key = null; + int length = requestHeader.length(); + if (length > 32) { + key = requestHeader.substring(length - 32); + } else { + key = requestHeader; + } + redisUtil.remove(key); // 删除存储在Redis中的对应用户信息 + } + } + } -- Gitblit v1.7.1