initMap(properties);
}
public Decorator getDecorator(HttpServletRequest request, Page page) {
try {
Decorator result = null;
final Decorator d = super.getDecorator(request, page);
String path = modifyPath(d.getPage(), getExt(request.getHeader("User-Agent")));
File decFile = new File(config.getServletContext().getRealPath(path));
if (decFile.isFile()) {
result = new DefaultDecorator(d.getName(), path, null) {
public String getInitParameter(String paramName) {
return d.getInitParameter(paramName);
}
};
}
return result == null ? super.getDecorator(request, page) : result;
}