- Timestamp:
- 2008-10-24T17:45:51+13:00 (16 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
gli/trunk/src/org/greenstone/gatherer/greenstone/Plugins.java
r16295 r17612 135 135 pluginfo_options += "&collection=" + collection_name; 136 136 } 137 pluginfo_xml = RemoteGreenstoneServer.getScriptOptions("pluginfo.pl", pluginfo_options);137 pluginfo_xml = Gatherer.remoteGreenstoneServer.getScriptOptions("pluginfo.pl", pluginfo_options); 138 138 } 139 139 else { … … 198 198 pluginfo_options += "&collection=" + collection_name; 199 199 } 200 String pluginfo_output = RemoteGreenstoneServer.getScriptOptions("pluginfo.pl", pluginfo_options);200 String pluginfo_output = Gatherer.remoteGreenstoneServer.getScriptOptions("pluginfo.pl", pluginfo_options); 201 201 xml = new StringBuffer(pluginfo_output); 202 202 }
Note:
See TracChangeset
for help on using the changeset viewer.