Changeset 16023

Timestamp:

2008-06-16 14:08:57 (4 months ago)

Author:

kjdon

Message:

added a bit of code to convert old plugin names to new ones, for backwards compatibility

Files:

• gli/trunk/src/org/greenstone/gatherer/cdm/CollectionConfiguration.java (modified) (2 diffs)

gli/trunk/src/org/greenstone/gatherer/cdm/CollectionConfiguration.java

@@ -1331 +1331 @@
-                // The next token is the type
-                String type = tokenizer.nextToken ();
+                type = ensureNewPluginName(type);
-                command_element.setAttribute (StaticStrings.TYPE_ATTRIBUTE, type);
-                // Now we parse out the remaining arguments into a hashmapping from name to value
@@ -3887 +3888 @@
-        return skeleton;
-    }
+
+  static private HashMap plugin_map = null;
+  
+  private void setUpPluginNameMap() {
+    plugin_map = new HashMap();
+    plugin_map.put("RecPlug", "DirectoryPlugin");
+    plugin_map.put("ArcPlug","ArchivesInfPlugin");
+    plugin_map.put("TEXTPlug","TextPlugin");
+    plugin_map.put("EMAILPlug","EmailPlugin");
+    plugin_map.put("SRCPlug","SourceCodePlugin");
+    plugin_map.put("NULPlug","NulPlugin");
+    plugin_map.put("W3ImgPlug","W3ImagePlugin");
+    plugin_map.put("PagedImgPlug","PagedImagePlugin");
+  }
+
+  private String ensureNewPluginName(String plugin) {
+    if (plugin.endsWith("Plugin")) return plugin;
+    if (plugin_map == null) {
+      setUpPluginNameMap();
+    }
+    String new_name = (String)plugin_map.get(plugin);
+    if (new_name != null) return new_name;
+    new_name = plugin.replace("Plug", "Plugin");
+    return new_name;
+  }
+   
+
-    ///*********************************************************************************************************///
-}
+