379380381382383384385386387388389
Path path = webApp.getRootDirectory().lookup(realPath); dependencyList.add(new Depend(path)); } dependencyList.clearModified(); invocation.setDependency(dependencyList); } private String handleInvoker(ServletInvocation invocation)
12521253125412551256125712581259126012611262
DependencyContainer dependencies = _dependencies; if (dependencies == null) return; dependencies.clearModified(); } /** * Returns true if any of the classes have been modified. */
540541542543544545546547548549550
Path path = app.getAppDir().lookup(realPath); dependencyList.add(new Depend(path)); } dependencyList.clearModified(); invocation.setDependency(dependencyList); } private String handleInvoker(ServletInvocation invocation)
11991200120112021203120412051206120712081209
12381239124012411242124312441245124612471248
341342343344345346347348349350351
{ ve.veto(); return EVENT_CONSUMED; } process.clearModified(); } // TODO Fix 4: Check if deleting open process works, I assume there will be left over something... PluginMgr.getInstance().removeInstance(modeler); modeler.getPluginHolder().unlinkHolder();