Class ProxyRepositoryServlet
java.lang.Object
org.eclipse.rdf4j.workbench.base.AbstractServlet
org.eclipse.rdf4j.workbench.base.AbstractRepositoryServlet
org.eclipse.rdf4j.workbench.proxy.ProxyRepositoryServlet
- All Implemented Interfaces:
jakarta.servlet.Servlet, RepositoryServlet
-
Field Summary
Fields inherited from class AbstractRepositoryServlet
info, manager, MANAGER_PARAM, repository, REPOSITORY_PARAM, vfFields inherited from class AbstractServlet
ACCEPT, appConfig, APPLICATION_JAVASCRIPT, APPLICATION_SPARQL_RESULTS_XML, APPLICATION_XML, config, DEFAULT_JSONP_CALLBACK_PARAMETER, JSONP_CALLBACK_PARAMETER, JSONP_ENABLED, JSONP_VALIDATOR, log, MOZILLA, MSIE, SERVER_PASSWORD, SERVER_USER, SERVER_USER_PASSWORD, TEXT_HTML, TEXT_PLAIN, USER_AGENT -
Constructor Summary
Constructors -
Method Summary
Methods inherited from class AbstractRepositoryServlet
setRepository, setRepositoryInfo, setRepositoryManagerMethods inherited from class AbstractServlet
checkJSONP, getBooleanResultFormat, getJSONPResultFormat, getResultWriter, getServletConfig, getServletInfo, getTupleResultBuilder, getTupleResultFormat, serviceMethods inherited from class Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitMethods inherited from interface jakarta.servlet.Servlet
getServletConfig, getServletInfo, service
-
Constructor Details
-
ProxyRepositoryServlet
public ProxyRepositoryServlet()
-
-
Method Details
-
init
public void init(jakarta.servlet.ServletConfig config) throws jakarta.servlet.ServletException - Specified by:
initin interfacejakarta.servlet.Servlet- Overrides:
initin classAbstractRepositoryServlet- Throws:
jakarta.servlet.ServletException
-
destroy
public void destroy()- Specified by:
destroyin interfacejakarta.servlet.Servlet- Overrides:
destroyin classAbstractServlet
-
resetCache
public void resetCache() -
service
public void service(jakarta.servlet.http.HttpServletRequest req, jakarta.servlet.http.HttpServletResponse resp) throws jakarta.servlet.ServletException, IOException - Overrides:
servicein classAbstractServlet- Throws:
jakarta.servlet.ServletExceptionIOException
-