Changeset 8670
- Timestamp:
- 2004-11-25T15:04:45+13:00 (19 years ago)
- Location:
- trunk/gli/src/org/greenstone/gatherer
- Files:
-
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/cdm/ClassifierManager.java
r8650 r8670 103 103 104 104 DebugStream.println("deleting classifiers.dat"); 105 File class_file = new File(Utility.getGLIUserFolder() +"classifiers.dat");105 File class_file = new File(Utility.getGLIUserFolder(), "classifiers.dat"); 106 106 if (class_file.exists()) { 107 107 return Utility.delete(class_file); … … 260 260 private void saveClassifiers() { 261 261 try { 262 FileOutputStream file = new FileOutputStream(Utility.getGLIUserFolder() + "classifiers.dat"); 262 File classifiers_dat_file = new File(Utility.getGLIUserFolder(), "classifiers.dat"); 263 FileOutputStream file = new FileOutputStream(classifiers_dat_file); 263 264 ObjectOutputStream out = new ObjectOutputStream(file); 264 265 out.writeObject(library); … … 367 368 private void loadClassifiers() { 368 369 // Attempt to restore the cached file. 370 File classifiers_dat_file = new File(Utility.getGLIUserFolder(), "classifiers.dat"); 369 371 try { 370 FileInputStream file = new FileInputStream( Utility.getGLIUserFolder() + "classifiers.dat");372 FileInputStream file = new FileInputStream(classifiers_dat_file); 371 373 ObjectInputStream input = new ObjectInputStream(file); 372 374 library = (ArrayList) input.readObject(); 373 375 } 374 376 catch (Exception error) { 375 DebugStream.println("Unable to open " + Utility.getGLIUserFolder() + "classifier.dat");377 DebugStream.println("Unable to open " + classifiers_dat_file); 376 378 } 377 379 -
trunk/gli/src/org/greenstone/gatherer/cdm/PluginManager.java
r8650 r8670 105 105 106 106 DebugStream.println("deleting plugins.dat"); 107 File plugin_file = new File(Utility.getGLIUserFolder() +"plugins.dat");107 File plugin_file = new File(Utility.getGLIUserFolder(), "plugins.dat"); 108 108 if (plugin_file.exists()) { 109 109 return Utility.delete(plugin_file); … … 332 332 private void savePlugins() { 333 333 try { 334 FileOutputStream file = new FileOutputStream(Utility.getGLIUserFolder() + "plugins.dat"); 334 File plugins_dat_file = new File(Utility.getGLIUserFolder(), "plugins.dat"); 335 FileOutputStream file = new FileOutputStream(plugins_dat_file); 335 336 ObjectOutputStream out = new ObjectOutputStream(file); 336 337 out.writeObject(library); … … 471 472 private void loadPlugins() { 472 473 // Attempt to restore the cached file. 474 File plugins_dat_file = new File(Utility.getGLIUserFolder(), "plugins.dat"); 473 475 try { 474 FileInputStream file = new FileInputStream( Utility.getGLIUserFolder() + "plugins.dat");476 FileInputStream file = new FileInputStream(plugins_dat_file); 475 477 ObjectInputStream input = new ObjectInputStream(file); 476 478 library = (ArrayList) input.readObject(); 477 479 } 478 480 catch (Exception error) { 479 DebugStream.println("Unable to open " + Utility.getGLIUserFolder() + "plugins.dat");481 DebugStream.println("Unable to open " + plugins_dat_file); 480 482 } 481 483 -
trunk/gli/src/org/greenstone/gatherer/file/RecycleBin.java
r8651 r8670 80 80 setOpaque(true); 81 81 82 this.model = new FileSystemModel(new FileNode(new File(Utility.getGLIUserFolder() + "recycle" + File.separator), "Undo"));82 this.model = new FileSystemModel(new FileNode(new File(Utility.getGLIUserFolder(), "recycle"), "Undo")); 83 83 } 84 84
Note:
See TracChangeset
for help on using the changeset viewer.