Github user ChristopherSchultz commented on the issue:
https://github.com/apache/tomcat/pull/110
So you were providing a `Properties` object that was not loaded from a
file, and had non-string values in it? Your patch would not identify that
problem. Non-string values should probably be allowed within tomcat-pool. Care
to do a PR for that as well?
---
---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org
For additional commands, e-mail: dev-h...@tomcat.apache.org
