Changeset 8670 for trunk/gli/src/org/greenstone/gatherer/cdm/PluginManager.java

Timestamp:

2004-11-25T15:04:45+13:00 (20 years ago)

Author:

mdewsnip

Message:

Fixed my changes from yesterday to store plugins.dat, classifiers.dat, and recycle bin information in the user-specific GLI folder.

File:

• trunk/gli/src/org/greenstone/gatherer/cdm/PluginManager.java (modified) (3 diffs)

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

@@ -105 +105 @@
 
     DebugStream.println("deleting plugins.dat");
-    File plugin_file = new File(Utility.getGLIUserFolder() + "plugins.dat");
+    File plugin_file = new File(Utility.getGLIUserFolder(), "plugins.dat");
     if (plugin_file.exists()) {
         return Utility.delete(plugin_file);
@@ -332 +332 @@
     private void savePlugins() {
     try {
-        FileOutputStream file = new FileOutputStream(Utility.getGLIUserFolder() + "plugins.dat");
+        File plugins_dat_file = new File(Utility.getGLIUserFolder(), "plugins.dat");
+        FileOutputStream file = new FileOutputStream(plugins_dat_file);
         ObjectOutputStream out = new ObjectOutputStream(file);
         out.writeObject(library);
@@ -471 +472 @@
     private void loadPlugins() {
     // Attempt to restore the cached file.
+    File plugins_dat_file = new File(Utility.getGLIUserFolder(), "plugins.dat");
     try {
-        FileInputStream file = new FileInputStream(Utility.getGLIUserFolder() + "plugins.dat");
+        FileInputStream file = new FileInputStream(plugins_dat_file);
         ObjectInputStream input = new ObjectInputStream(file);
         library = (ArrayList) input.readObject();
     }
     catch (Exception error) {
-        DebugStream.println("Unable to open "+ Utility.getGLIUserFolder() + "plugins.dat");
+        DebugStream.println("Unable to open " + plugins_dat_file);
     }