/** Returns the desktop of the given desktop ID, or null if not found. * @param dtid the desktop's ID. */ public static Desktop getDesktop(ServletContext svlctx, HttpServletRequest request, String dtid) { return ((WebAppCtrl) WebManager.getWebApp(svlctx)).getDesktopCache(WebManager.getSession(svlctx, request)) .getDesktop(dtid); }
alert = "dtid is required!"; } else { desktop = ((WebAppCtrl) sess.getWebApp()).getDesktopCache(sess).getDesktop(dtid); final Map<String, Object> params = parseRequest(request, desktop, ""); nextURI = (String) params.get("nextURI");
sid = escapeParam(request.getParameter("sid")); desktop = ((WebAppCtrl) sess.getWebApp()).getDesktopCache(sess) .getDesktop(XMLs.encodeText(request.getParameter("dtid"))); alert = "dtid is required!"; } else { desktop = ((WebAppCtrl) sess.getWebApp()).getDesktopCache(sess).getDesktop(dtid); final Map<String, Object> params = parseRequest(request, desktop, uuid + '_' + sid); nextURI = (String) params.get("nextURI");
final WebAppCtrl wappc = (WebAppCtrl) wapp; final UiEngine uieng = wappc.getUiEngine(); final Desktop desktop = wappc.getDesktopCache(sess).getDesktop(dtid); final DesktopCtrl desktopCtrl = (DesktopCtrl) desktop;