diff servlet/src/digilib/io/Directory.java @ 270:b21915a3fc24

Servlet version 1.21b3 - searching in directories got faster (real binarySearch now!) - cached file lists get disposed - some code cleaning (Map types instead of HashMap)
author robcast
date Tue, 12 Oct 2004 16:06:43 +0200
parents 81962224b18b
children 87dca7119596
line wrap: on
line diff
--- a/servlet/src/digilib/io/Directory.java	Tue Oct 12 16:06:43 2004 +0200
+++ b/servlet/src/digilib/io/Directory.java	Tue Oct 12 16:06:43 2004 +0200
@@ -125,10 +125,15 @@
 	public String[] getFilenames() {
 		return list;
 	}
+	
 	/**
 	 * @param filenames The filenames to set.
 	 */
 	public void setFilenames(String[] filenames) {
 		this.list = filenames;
 	}
+	
+	public void clearFilenames() {
+		this.list = null;
+	}
 }