| Line 23... |
Line 23... |
import javax.servlet.ServletException;
|
import javax.servlet.ServletException;
|
import javax.servlet.http.Cookie;
|
import javax.servlet.http.Cookie;
|
import javax.servlet.http.HttpServletRequest;
|
import javax.servlet.http.HttpServletRequest;
|
import javax.servlet.http.HttpServletResponse;
|
import javax.servlet.http.HttpServletResponse;
|
|
|
import org.openrdf.Sesame;
|
|
import org.openrdf.workbench.base.BaseServlet;
|
import org.openrdf.workbench.base.BaseServlet;
|
import org.openrdf.workbench.exceptions.MissingInitParameterException;
|
import org.openrdf.workbench.exceptions.MissingInitParameterException;
|
import org.openrdf.workbench.util.BasicServletConfig;
|
import org.openrdf.workbench.util.BasicServletConfig;
|
import org.openrdf.workbench.util.TupleResultBuilder;
|
import org.openrdf.workbench.util.TupleResultBuilder;
|
import org.slf4j.Logger;
|
import org.slf4j.Logger;
|
import org.slf4j.LoggerFactory;
|
import org.slf4j.LoggerFactory;
|
|
|
import info.aduna.app.AppConfiguration;
|
|
import info.aduna.app.AppVersion;
|
|
|
|
public class WorkbenchGateway extends BaseServlet {
|
public class WorkbenchGateway extends BaseServlet {
|
|
|
private static final String COOKIE_AGE_PARAM = "cookie-max-age";
|
private static final String COOKIE_AGE_PARAM = "cookie-max-age";
|
|
|
private static final String DEFAULT_SERVER_PARAM = "default-server";
|
private static final String DEFAULT_SERVER_PARAM = "default-server";
|
| Line 52... |
Line 48... |
|
|
private final Logger logger = LoggerFactory.getLogger(getClass());
|
private final Logger logger = LoggerFactory.getLogger(getClass());
|
|
|
private final Map<String, WorkbenchServlet> servlets = new ConcurrentHashMap<String, WorkbenchServlet>();
|
private final Map<String, WorkbenchServlet> servlets = new ConcurrentHashMap<String, WorkbenchServlet>();
|
|
|
private static final AppVersion VERSION = AppVersion.parse(Sesame.getVersion());
|
|
|
|
private final AppConfiguration appConfig = new AppConfiguration("OpenRDF Workbench", "OpenRDF Workbench", VERSION);
|
|
|
|
@Override
|
@Override
|
public void init(ServletConfig config)
|
public void init(ServletConfig config)
|
throws ServletException
|
throws ServletException
|
{
|
{
|
super.init(config);
|
super.init(config);
|
try {
|
|
appConfig.init();
|
|
}
|
|
catch (IOException e) {
|
|
throw new ServletException(e);
|
|
}
|
|
if (getDefaultServerPath() == null)
|
if (getDefaultServerPath() == null)
|
throw new MissingInitParameterException(DEFAULT_SERVER_PARAM);
|
throw new MissingInitParameterException(DEFAULT_SERVER_PARAM);
|
if (config.getInitParameter(TRANSFORMATIONS_PARAM) == null)
|
if (config.getInitParameter(TRANSFORMATIONS_PARAM) == null)
|
throw new MissingInitParameterException(TRANSFORMATIONS_PARAM);
|
throw new MissingInitParameterException(TRANSFORMATIONS_PARAM);
|
}
|
}
|
|
|