- Timestamp:
- 2023-02-19T23:52:08+13:00 (13 months ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
main/trunk/gli/src/org/greenstone/gatherer/Gatherer.java
r37328 r37330 170 170 static private URL default_gliserver_url=null; 171 171 172 public Gatherer( String[] args)172 public Gatherer(GetOpt go) 173 173 { 174 174 // Display the version to make error reports a lot more useful … … 177 177 JarTools.initialise(this); 178 178 179 GetOpt go = new GetOpt(args);179 //GetOpt go = new GetOpt(args); 180 180 181 181 // Remember the GSDLOS value … … 246 246 } 247 247 else if (isWebswing) { 248 Configuration.template_config_xml = Configuration.TEMPLATE_CONFIG_PREFIX + Configuration.CONFIG_WEBSWING_XML; 248 249 Configuration.config_xml = Configuration.CONFIG_WEBSWING_XML; 249 250 } … … 266 267 } 267 268 269 public Gatherer(String[] args) 270 { 271 this(new GetOpt(args)); 272 } 268 273 269 274 public void init(String gsdl_path, String gsdl3_path, String gsdl3_src_path, … … 287 292 System.exit(0); 288 293 } 294 295 String username = webswingAuthenticator.getUsername(); 296 297 // In webswing case, GathererProg does not have a username when it was initializing this 298 String gli_no_username_dir_path = Gatherer.getGLIUserDirectoryPath(); 299 300 String gli_user_directory_path = gli_no_username_dir_path + username + File.separator; 301 302 File gli_user_directory = new File(gli_user_directory_path); 303 if (!gli_user_directory.exists() && !gli_user_directory.mkdir()) { 304 System.err.println("Warning: Unable to make directory: " + gli_user_directory_path); 305 } 306 else { 307 Gatherer.setGLIUserDirectoryPath(gli_user_directory_path); 308 } 309 289 310 } 290 311 // Create the debug stream if required … … 1976 1997 } 1977 1998 1999 public String getUsername() { 2000 return username; 2001 } 2002 2003 1978 2004 public boolean authenticate(String library_url_string) { 1979 2005 PasswordAuthentication pa = getPasswordAuthentication();
Note:
See TracChangeset
for help on using the changeset viewer.