public Date setIndexFile( ResourceFetcher source, String filename ) throws IOException { cleanCacheDirectory( dir ); result.setFullUpdate( true ); File target = new File( dir, filename ); FileUtils.copyStreamToFile( new RawInputStreamFacade( source.retrieve( filename ) ), target ); return null; }
public Date setIndexFile( ResourceFetcher source, String filename ) throws IOException { cleanCacheDirectory( dir ); result.setFullUpdate( true ); File target = new File( dir, filename ); FileUtils.copyStreamToFile( new RawInputStreamFacade( source.retrieve( filename ) ), target ); return null; }
public Date setIndexFile( ResourceFetcher source, String filename ) throws IOException { cleanCacheDirectory( dir ); result.setFullUpdate( true ); File target = new File( dir, filename ); FileUtils.copyStreamToFile( new RawInputStreamFacade( source.retrieve( filename ) ), target ); return null; }