配置文件 ticketRegistry.xml负责配置ticket的存储方式, registry是注册表,登记薄的意思 常用的存储方式包括 1、DefaultTicketRegistry:默认的,存储在内存里 2、JpaTicketRegistry:存储在数据库中,服务器重启时,已有的ticket不会丢失,用于高可用HA架构中<