locking of boot directory can be disabled by with [boot].lock: true in boot.properties

2026-08-31 02:05:09 +02:00 · 2011-05-19 22:04:05 -04:00
parent 482e041464
commit 4509428af9
8 changed files with 20 additions and 16 deletions
@@ -6,5 +6,6 @@ public interface ComponentProvider
 {
 	public File[] component(String componentID);
 	public void defineComponent(String componentID, File[] components);
+	 // null if locking disabled
 	public File lockFile();
 }