We have noticed that the following Tomcat session metrics are no longer being tracked after adding the org.springframework.session:spring-session-data-redis dependency :
tomcat_sessions_active_current_sessions
tomcat_sessions_active_max_sessions
tomcat_sessions_alive_max_seconds
tomcat_sessions_created_sessions_total
tomcat_sessions_expired_sessions_total
tomcat_sessions_rejected_sessions_total
We would like to know if SpringBoot already offers a solution that allows us to easily retrieve these same session metrics when using the org.springframework.session:spring-session-data-redis dependency, or if we need to reimplement these metrics manually ?