class IsLocalFilter
extends java.lang.Object
implements javax.servlet.Filter
Repository
to be available via local filesystem.
The target Repository
must be using a ObjectDirectory
, so the
downstream servlet can directly access its contents on disk.
Constructor and Description |
---|
IsLocalFilter() |
Modifier and Type | Method and Description |
---|---|
void |
destroy() |
void |
doFilter(javax.servlet.ServletRequest request,
javax.servlet.ServletResponse response,
javax.servlet.FilterChain chain) |
void |
init(javax.servlet.FilterConfig config) |
private static boolean |
isLocal(Repository db) |
public void init(javax.servlet.FilterConfig config) throws javax.servlet.ServletException
init
in interface javax.servlet.Filter
javax.servlet.ServletException
public void destroy()
destroy
in interface javax.servlet.Filter
public void doFilter(javax.servlet.ServletRequest request, javax.servlet.ServletResponse response, javax.servlet.FilterChain chain) throws java.io.IOException, javax.servlet.ServletException
doFilter
in interface javax.servlet.Filter
java.io.IOException
javax.servlet.ServletException
private static boolean isLocal(Repository db)