[GitHub] [tomcat] rmaucher commented on pull request #640: Catch NamingException instead of specialized sub-classes

2023-07-22 Thread via GitHub
rmaucher commented on PR #640: URL: https://github.com/apache/tomcat/pull/640#issuecomment-1646648446 Ok, so that was a useful bug report then :) Perfect (although no backport unfortunately). -- This is an automated message from the Apache Git Service. To respond to the message, please lo

[GitHub] [tomcat] michael-o commented on pull request #640: Catch NamingException instead of specialized sub-classes

2023-07-22 Thread via GitHub
michael-o commented on PR #640: URL: https://github.com/apache/tomcat/pull/640#issuecomment-1646537415 > > You should add the JBS ID. AFAIR, I have reported that back then. > > What is a JBS ID? Where did you report it when? The only two IDs I can think of are the old report in our bu

[GitHub] [tomcat] FSchumacher commented on pull request #640: Catch NamingException instead of specialized sub-classes

2023-07-22 Thread via GitHub
FSchumacher commented on PR #640: URL: https://github.com/apache/tomcat/pull/640#issuecomment-1646534435 > You should add the JBS ID. AFAIR, I have reported that back then. What is a JBS ID? Where did you report it when? The only two IDs I can think of are the old report in our bugz