/** * Creates a Vaadin request for a http servlet request. This method can be * overridden if the Vaadin request should have special properties. * * @param request * the original http servlet request * @return a Vaadin request for the original request */ protected VaadinServletRequest createVaadinRequest( HttpServletRequest request) { return new VaadinServletRequest(request, getService()); }
VaadinServletRequest vaadinRequest = new VaadinServletRequest( resource.getRequest(), service); VaadinSession session = null;
/** * Create a Vaadin request for a http servlet request. This method can be * overridden if the Vaadin request should have special properties. * * @param request * the original http servlet request * @return a Vaadin request for the original request */ protected VaadinServletRequest createVaadinRequest( HttpServletRequest request) { return new VaadinServletRequest(request, getService()); }
final PushEventCallback callback, boolean websocket) { AtmosphereRequest req = resource.getRequest(); VaadinServletRequest vaadinRequest = new VaadinServletRequest(req, service); VaadinSession session = null;
/** * Build VaadinServletRequest * @return VaadinServletRequest */ protected VaadinServletRequest buildVaadinRequest() { return new VaadinServletRequest(buildHttpServletRequest(), (VaadinServletService) vaadinSession.getService()); }
/** * Build VaadinServletRequest * @return VaadinServletRequest */ protected VaadinServletRequest buildVaadinRequest() { return new VaadinServletRequest(buildHttpServletRequest(), (VaadinServletService) vaadinSession.getService()); }
/** * Build VaadinServletRequest using a location * @param location Page location * @return VaadinServletRequest */ @SuppressWarnings("serial") protected VaadinServletRequest buildVaadinRequest(final String location) { return new VaadinServletRequest(buildHttpServletRequest(), (VaadinServletService) vaadinSession.getService()) { /* * (non-Javadoc) * @see javax.servlet.ServletRequestWrapper#getParameter(java.lang.String) */ @Override public String getParameter(String name) { if ("v-loc".equals(name)) { return location; } return super.getParameter(name); } }; }
/** * Build VaadinServletRequest using a location * @param location Page location * @return VaadinServletRequest */ @SuppressWarnings("serial") protected VaadinServletRequest buildVaadinRequest(final String location) { return new VaadinServletRequest(buildHttpServletRequest(), (VaadinServletService) vaadinSession.getService()) { /* * (non-Javadoc) * @see javax.servlet.ServletRequestWrapper#getParameter(java.lang.String) */ @Override public String getParameter(String name) { if ("v-loc".equals(name)) { return location; } return super.getParameter(name); } }; }
VaadinServletRequest vaadinRequest = new VaadinServletRequest( resource.getRequest(), service); VaadinSession session = null;
final PushEventCallback callback, boolean websocket) { AtmosphereRequest req = resource.getRequest(); VaadinServletRequest vaadinRequest = new VaadinServletRequest(req, service); VaadinSession session = null;