Springboot2 session设置超时时间无效怎么解决
问题：今天项目中遇到了一个设置时间超时的问题，按SpringBoot2的application.properties更改一直不生效。解决方案：server.*属性用于控制SpringBoot使用的嵌入式容器。SpringBoot将使用ServletWebServerFactory实例之一创建servlet容器的实例。这些类使用server.*属性来配置受控的servlet容器（tomcat，jetty等）。当应用程序作为war文件部署到Tomcat实例时，server.*属性不适用。它们不适用，因为可以使
问题：
今天项目中遇到了一个设置时间超时的问题，按SpringBoot2的application.properties更改一直不生效。
解决方案：
server.*属性用于控制Spring Boot使用的嵌入式容器 。 Spring Boot将使用ServletWebServerFactory实例之一创建servlet容器的实例。 这些类使用server.*属性来配置受控的servlet容器（tomcat，jetty等）。
当应用程序作为war文件部署到Tomcat实例时， server.*属性不适用。 它们不适用，因为可以使用预先配置的servlet容器（因为它是远程运行的服务）。 因此，部署到远程Tomcat将使server.*属性无用。
1. 按照网上给的帖子更改配置文件（如果是Jar启动生效） ，如下：
server: servlet: session: timeout: PT1H # 1小时过期 cookie: max-age: PT1H # 1小时过期
说明：PT1H 意思是设置session失效的时间是1小时。
扩展：Duration
通过查看springboot源码发现setTimeouot方法，这里要求传入Duration的实例
public void setTimeout(Duration timeout) {
this.timeout = timeout;
}Duration是在Java8中新增的，主要用来计算日期差值，Duration是被final声明的，并且是线程安全的。
如果转换字符串方式，类似于 SimpleDateFormat 的格式化日期方式
Duration 字符串类似数字有正负之分：默认为正，负以'-'开头，下面紧接着'PT', 下面时间字母:
'D' – 天
'H' – 小时
'M' – 分钟
'S' – 秒
每个单位都必须由数字开始,且时分秒顺序不能乱,比如：PT2H3M2S 等于 -PT-2H-3M-2S。
2. 设置tomcat的session超时
1)在tomcat的conf目录下，更改servler.xml：
2) 项目中更改web.xml:
20
3)在程序中更改
session.setMaxInactiveInterval（30*60）；
当你遇到同样的问题时，请先看上面的红字，按顺序排查即可。
测试代码：
@RestController
@RequestMapping("/valid-time")
public class TestController {
@GetMapping("/test")
public String validTime(HttpServletRequest request, HttpServletResponse response) {
HttpSession session = request.getSession();
int sessionTime = session.getMaxInactiveInterval();
return new StringBuilder("sessionTime=").append(sessionTime).toString();
}
}时间不同步导致Spring session失效的巨坑
Linux服务器时间不同步导致Spring session失效的巨坑
由于业务的需要，将原本单机环境转为集群式环境，为了不修改任务所以选择了spring session + redis作为session共享方案。
确认技术方案之后就在网上巴拉巴拉的搜索一堆关于spring session的资料，看了一遍没有发现前人有任何躺坑后，开始着手。
安装redis过程忽略。
根据资料一步一步的将spring session加入工程，单节点情况项目成功跑起来，没有报错，session也成功的写入了redis。
然后为了稳妥起见，又在自己电脑上安装了nginx，并部署了3个tomcat，一切看起来都那么完美，多个节点之间完成了session共享。
到目前已经完成了所有前期准备，就差最后一步了。
噩梦开始了……
在线上将所有节点部署完成，然后打开浏览器顺利访问到应用，当然我们不能仅仅停留在看到页面完事的地步，怎么也要登录登录吧，于是……
然后……
无数次的输入用户密码，提示登录成功，最终的结果还是被拒之门外，o(╥﹏╥)o
接下来就是无数的填坑之旅
看日志……
看各种请求请求……
怀疑spring session有BUG……
甚至开启了远程DEBUG模式调试，终于在万能的DEBUG模式下看到，spring session的getSession的时候，如果获取到了session，首先会判断此session有没有过期，比较的方式也很简单，就是获取当前系统时间去和session的过期时间进行比较，如果当前时间小于过期时间，则标识此session没有过期。看到这里，瞬间有了一股醍醐灌顶之感，小宇宙终于在这里爆发了。
尼玛—>获取的session全部是过期的，然后……然后……当然是赶紧跑去看服务器时间，于是……哭了o(╥﹏╥)o，原来尼玛是你坑了我……
为了纪念这次躺坑之旅，特发此文
另外顺便记录一下Linux服务器时间同步
date命令：
date :查看当前时间，结果如下：Tue Mar 4 01:36:45 CST 2017
date -s 09:38:40 :设置当前时间，结果如下：Tue Mar 4 09:38:40 CST 2017
ntpdate命令：
ntpdate -u ntp.api.bz :网络时间同步命令
ntp常用服务器：
中国国家授时中心：210.72.145.44
NTP服务器(上海) ：ntp.api.bz
WPS Office是一款面向macOS用户的综合办公套件，将文字处理、电子表格、演示文稿、PDF工具、模板与云协作整合在同一应用中。它兼容常见Microsoft Office格式，支持Intel及Apple芯片Mac，基础功能可免费使用，
Shapr3D是一款面向工业设计、机械工程、建筑概念和三维打印工作流的CAD软件。Mac版采用Parasolid建模内核，支持草图约束、实体建模、工程图、可视化渲染及常见CAD格式交换，并可通过账户在多台设备之间同步项目。
REAPER是Cockos开发的数字音频工作站，提供多轨音频与MIDI录制、剪辑、处理、混音和母带制作工具。Mac版兼容Intel与Apple芯片，支持AU、VST、VST3、CLAP等插件格式，并提供高度可定制的工作流程。
Ableton Live 是面向音乐制作人与现场表演者的数字音频工作站，提供编曲视图、独具特色的现场视图、音频录制、MIDI创作、实时变速、乐器及效果器。Mac版原生支持Apple芯片，并可连接音频接口、MIDI控制器和第三方插件。
Adobe After Effects 是面向动态图形、影视特效与视频合成的专业创作软件。它提供关键帧动画、遮罩抠像、运动跟踪、三维空间、文字动画和表达式等工具，并可与 Premiere Pro、Photoshop、Illustrator
Adobe Audition 是面向播客、影视后期、音乐制作及内容创作者的专业音频工作站，提供波形精修、多轨录制与混音、频谱编辑、降噪修复、响度匹配和效果处理工具，并可与 Adobe Premiere 协同完成视频声音制作。
Adobe Bridge 是面向摄影师、设计师及内容团队的免费数字资产管理工具，可集中预览照片、视频和 Adobe 项目文件，并利用评级、标签、关键词、元数据、筛选与收藏集完成分类检索。它还支持批量重命名、格式导出、相机导入及 Camera
Adobe Illustrator 是 Adobe 推出的专业矢量图形设计软件，适合在 Mac 上制作标志、图标、插画、包装、信息图及印刷版面。它以路径和锚点构建可无损缩放的图形，并提供钢笔、形状、文字、图像描摹、渐变、画板及生成式功能。
Adobe InDesign 是面向印刷品与数字出版物的专业版面设计软件，可在 Mac 上制作书籍、杂志、宣传册、海报、报告及交互式文档。它提供精细的文字样式、网格、母版、长文档管理和印前输出能力。
Adobe Lightroom Classic 是面向桌面摄影工作流的照片管理与后期处理软件，可将原始照片保存在本地硬盘，通过目录、关键词、评分和收藏夹高效整理图库，并提供 RAW 冲印、蒙版、镜头校正、批量同步及多格式导出等功能。
Adobe Media Encoder 是 Adobe 推出的专业音视频编码与转码工具，可通过队列、预设和监视文件夹批量完成格式转换、代理文件创建及多平台成片输出，并与 Premiere Pro、After Effects 等软件紧密协作。
Adobe Photoshop 是面向摄影师、设计师和内容创作者的专业图像处理软件，提供图层、蒙版、选区、修复、调色、文字排版、智能对象及生成式编辑等能力。Mac 版支持 Intel 与 Apple Silicon 处理器。
AutoCAD 是 Autodesk 推出的专业计算机辅助设计软件，Windows 版支持精确二维绘图、三维实体与曲面建模、图纸标注、布局发布和任务自动化，并包含多套行业专业化工具组合，适用于建筑、机械、电气、工程建设及制造设计人员。
SketchUp Pro 是面向建筑、室内、景观、施工和产品设计等专业场景的三维建模工具，提供桌面建模、LayOut 二维文档、模型资源库、扩展程序及云端协作能力。其操作逻辑直观，适合从概念推敲、空间规划到图纸表达和方案汇报的完整工作流程。
AutoCAD LT 是 Autodesk 推出的专业二维 CAD 软件，适合建筑师、工程师、施工人员和设计师完成精确绘图、标注及文档编制。它支持 DWG 工作流、智能块、图形比较、计数、表格和 AutoLISP 自动化，
Rhino 3D 是 McNeel 推出的专业三维建模工具，可创建、编辑和分析 NURBS 曲线曲面、实体、网格、SubD 与点云。Windows 版支持精确造型、工程制图、渲染、文件转换及 Grasshopper 参数化设计，
Autodesk Fusion 是面向产品设计与制造的云连接开发平台，在统一环境中整合三维 CAD、CAM、CAE、PCB、工程图、数据管理和团队协作功能，适合产品设计师、机械工程师、电子工程师及加工制造团队完成从概念建模、验证分析到生产交
Archicad 是 Graphisoft 面向建筑师、设计师、工程师及 BIM 团队开发的建筑信息模型平台。它把三维建筑建模、施工文档、数据管理、专业协调、实时协作和可视化集中在统一项目环境中，适合从概念方案到施工交付的完整建筑设计流程。
Vectorworks Architect 是面向建筑师、室内设计师和建筑顾问的综合设计与BIM平台，覆盖概念草图、二维制图、三维建模、施工文档、数据报表、可视化及开放式协作。它强调自由造型与数据化建筑对象并存，
Shapr3D 是一款基于 Siemens Parasolid 几何内核的专业三维CAD软件，可在 Windows 电脑和平板设备上完成草图绘制、实体建模、参数化修改、模型可视化及技术图纸制作。软件提供免费基础方案，
FreeCAD 是面向机械设计、产品开发、建筑建模和创客项目的免费开源参数化三维 CAD 工具。它可在 Windows 上完成约束草图、实体零件、装配、工程图、BIM、有限元分析及 CAM 等任务，
Twinmotion 是 Epic Games 推出的实时三维可视化工具，可导入常见 CAD、BIM 与三维模型，通过材质、环境、植被、灯光及动画资源快速构建场景，并输出图片、视频、全景图和交互演示。
BricsCAD 是以 DWG 为核心格式的专业 CAD 平台，可用于二维制图、三维建模、工程文档与设计协作。产品按 Lite、Pro、BIM、Mechanical 和 Ultimate 等层级提供不同工具，
Ableton Live 是面向音乐创作、录音、编曲、声音设计、混音与现场演出的数字音频工作站。它将适合即兴触发素材的 Session 视图与传统时间线编曲结合，并提供音频变速、MIDI工具、软件乐器、效果器和声音资源，