- Timestamp:
- 2004-03-09T17:09:48+13:00 (20 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/cdm/PlugInManager.java
r6992 r6995 101 101 } 102 102 103 public boolean clearPlugInCache() { 104 105 Gatherer.println("deleting plugins.dat"); 106 File plugin_file = new File(Utility.BASE_DIR + "plugins.dat"); 107 if (plugin_file.exists()) { 108 return Utility.delete(plugin_file); 109 } 110 return true; 111 } 103 112 /** Destructor. */ 104 113 public void destroy() {
Note:
See TracChangeset
for help on using the changeset viewer.