tomcat7下载tomcat-redis-session-manager

要下载Tomcat-Redis-Session-Manager，可以按照以下步骤进行操作：

1. 首先，打开Tomcat-Redis-Session-Manager的官方网站，通常可以在GitHub上找到该项目的页面。

2. 在GitHub页面上，找到项目的下载链接或者源代码的地址。一般来说，会提供两种下载方式，一种是直接下载编译好的jar包，另一种是克隆或下载源代码。

3. 如果选择直接下载编译好的jar包，点击下载链接，等待下载完成。

4. 如果选择克隆或下载源代码，点击源代码地址，可以使用git命令来将代码克隆到本地，或者选择下载源代码的zip文件并解压到本地。

5. 下载完成后，将jar包或源代码文件复制到Tomcat的lib目录下。通常该目录位于Tomcat安装目录下的lib文件夹中。

6. 接下来，需要配置Tomcat-Redis-Session-Manager在Tomcat中的使用。找到Tomcat的配置文件（通常是server.xml），在其中添加相应的配置信息，如Redis的连接信息、Session过期时间等。

7. 保存并关闭配置文件后，重新启动Tomcat。

8. 如果配置正确，Tomcat将会加载Tomcat-Redis-Session-Manager，使用Redis作为Session的存储和管理。

注意：在下载和安装Tomcat-Redis-Session-Manager时，需要确保Tomcat版本与Tomcat-Redis-Session-Manager的兼容性。同时，根据自己的需求，可以对Tomcat-Redis-Session-Manager进行进一步的配置和调整。