Setting idp.home

Peter Schober peter.schober at
Mon Feb 17 08:34:52 EST 2020

* Cantor, Scott <cantor.2 at> [2020-02-17 14:31]:
> > At least in the thread mentioned by the OP Brent had this to offer:
> That's not about idp.home, though.

Well, Brent suggested the method/syntax and Matthew S. (second
reference I provided in my previous email) used this successfully to
override idp.home.
But, again, Tomcat and mid 2016.

More information about the users mailing list