Changeset 16023 for gli/trunk

Timestamp:

2008-06-16T14:08:57+12:00 (16 years ago)

Author:

kjdon

Message:

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

File:

• 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;
+  }
+   
+
     ///*********************************************************************************************************///
 }
+