File logDir = new File( logDirectory ); if ( ( logDir.isDirectory() && ! logDir.isAbsolute() ) || logDirectory.startsWith( "." ) ) { try { URL url = getInstallDirectory(); if( url != null ) { String driverHomeDir = url.getPath(); logDir = new File( driverHomeDir, logDirectory ); logDirectory = logDir.getPath(); } } catch( OdaException e ) {  } catch( IOException e ) {  } }
    private static String generateFileName( String logDirectory,    										String logPrefix )    {        SimpleDateFormat dateFormat = new SimpleDateFormat( "yyyyMMdd-HHmmss" );    	String logfileName = ( logDirectory.endsWith( "/" ) ||    						   logDirectory.endsWith( "\\" ) ) ?    						 logDirectory : logDirectory + "/";    	logfileName += logPrefix + "-";    	    	Timestamp timestamp = new Timestamp( System.currentTimeMillis() );    	logfileName += dateFormat.format( timestamp ) + ".log";    	    	return logfileName;    }