Unable to find environment attributes in tomcat application

[Peter Schober]

* Peter Schober <peter.schober at univie.ac.at> [2018-09-19 13:50]:
> * ofaklintrafo <ofa at klintra.fo> [2018-09-19 09:08]:
> > At least I get an empty list when I on the java-side call
> > request.getAttributeNames().
> 
> That's the problem. The archives should have several threads about
> this shortcoming in either the relevant APIs or their implementation.
> I.e., the request attributes will be there if you ask for them by
> name, but they don't appear when using that (or simlar) API calls,
> IIRC.

Eight years ago I could reproduce that same behaviour:

  https://groups.google.com/forum/#!msg/shibboleth-users/GZFCtbZUpSY/dv2nFDaw1aQJ

and Etienne was able to track this down a bit later to a Tomcat issue:

  https://groups.google.com/d/msg/shibboleth-users/K90-JyuvSaI/ZoaVJOdPKW4J

The Javadocs for current Tomcat releases (incl 8.5 and 9.0) seem to be
unchanged in this regard, so the issue still exists in Tomcat but
apparently there's no intention do fix it.

-peter