updateStatus(status);
}
@Override
public void openIframe(String module, int port) {
LauncherService service = PublicServices.getService(LauncherService.class);
String url = getView().compileState.getUrlToOpen();
if (X_String.isEmptyTrimmed(url))
url = "xapi/gwt/"+module;
url = url.replace("$module", module);
service.openInIframe(module, url);
}