>>>>> On Fri, 22 Aug 2014 08:47:31 +1000, Greg Wilkins <gregw_at_intalio.com> said:
GW> So I think the resources should be pushed as soon as they are discovered -
GW> with some obvious protection against duplicate pushes.
GW> So the context could have a method:
GW> context.addAssociatedResource(String uriInContext)
GW> {
GW> associated.add(uriInContext);
GW> ConcurrentSet<String> pushed =
GW> getRequest().getHttpSession().getAttribute("pushed);
GW> if (pushed.addIfAbsent(uriInContext))
GW> getServletContext().getRequestDispatcher(
GW> uriInContext).push(getRequest())
GW> }
GW> that would trigger a push as the associated resource is first added to the
GW> context, using the API that I have proposed.
I like this approach better than what I proposed. Let's discuss this in
person at JavaOne.
Ed
--
| edward.burns_at_oracle.com | office: +1 407 458 0017
| 16 work days til JavaOne 2014
| 12 work days til start of JSF 2.3 and Servlet 4.0