home *** CD-ROM | disk | FTP | other *** search
- package opera;
-
- import java.util.Hashtable;
-
- public class PluginContextManager {
- private static Hashtable contexts = new Hashtable();
-
- public static PluginContext getContext(int var0) {
- Hashtable var1 = contexts;
- synchronized(var1) {
- PluginContext var2 = (PluginContext)contexts.get(new Integer(var0));
- if (var2 == null) {
- var2 = new PluginContext(var0);
- contexts.put(new Integer(var0), var2);
- }
-
- return var2;
- }
- }
-
- public static void deleteContext(PluginContext var0) {
- Hashtable var1 = contexts;
- synchronized(var1) {
- var0.cleanup();
- contexts.remove(new Integer(var0.document_ptr));
- }
- }
- }
-