Searched refs:BEING_EDITED (Results 1 – 2 of 2) sorted by relevance
59 private static Map BEING_EDITED = new HashMap(); field in ScriptEditorForJavaScript116 synchronized (BEING_EDITED) { in getEditor()117 return (ScriptEditorForJavaScript)BEING_EDITED.get(url); in getEditor()191 synchronized (BEING_EDITED) { in edit()193 (ScriptEditorForJavaScript) BEING_EDITED.get( in edit()198 BEING_EDITED.put(url, editor); in edit()304 synchronized( BEING_EDITED ) in shutdown()306 java.util.Iterator iter = BEING_EDITED.keySet().iterator(); in shutdown()316 BEING_EDITED.remove( keysToRemove.elementAt( i ) ); in shutdown()347 synchronized( BEING_EDITED ) in run()[all …]
67 private static Map BEING_EDITED = new HashMap(); field in ScriptEditorForBeanShell128 synchronized (BEING_EDITED) { in getEditor()129 return (ScriptEditorForBeanShell)BEING_EDITED.get(url); in getEditor()217 synchronized (BEING_EDITED) { in edit()219 BEING_EDITED.get(url); in edit()223 BEING_EDITED.put(url, editor); in edit()386 synchronized (BEING_EDITED) { in shutdown()387 BEING_EDITED.remove(scriptURL); in shutdown()
Completed in 20 milliseconds