[jetty-discuss] gzipped content from default servlet

[Metal F. <se...@po...>]

Looking at the source of the default servlet
(org.mortbay.jetty.servlet.Default, file version 1.27.2.4), I note the
following at line 598:

  Resource gz = _httpContext.getResource(pathInContext+".gz");

This means that Jetty searches for the gzipped form of a resource in
the default context, not in the path set by the resourceBase or
relativeResourceBase init parameter to the default servlet.

It seems to me, naively, that this ought to be

  Resource gz = getResource(pathInContext+".gz");

instead.  Is there some reason why this would be incorrect?

-- 
Seth Blumberg, a.k.a. Metal Fatigue, a.k.a. Nodens <se...@po...> O-
-  --  ---  -----  --------  -------------  --------  -----  ---  --  -
"My cats are named after gods--Loki and Athena, who are, respectively,
 absolutely straightforward and affectionate, and dumber than dirt.
 I learned my lesson.  I will name my next cat 'Satan' or 'Marduk' or
 something, thereby ensuring a kind, gentle beast who treats my
 upholstery like a shrine."                            -- Ursula Vernon