20130918 (Wednesday, 18 September 2013)

01h45 : Finished and checked in yesterday’s changes for DavLink.

07h10 : Fixed the well-known layout bug “params_panel is too high on first showing”.

22h30 : Fixed a bug in DavLink which caused a NullPointerException when some IO error occured while scanning a directory:

java.lang.NullPointerException
    at davlink.Searcher.traverse(DavLink.java:94)
    at davlink.Searcher.traverse(DavLink.java:95)

(Ich konnte mich vor dem Schlafengehen noch einloggen und auch dieses letzte Problemchen lösen. Im Vergleich zu dem, was wir durchgemacht haben, war das jetzt nur noch ein Kinkerlitzchen: Die NullPointerException kam, weil die Funktion File.list() in manchen seltenen Fällen (if an I/O error occurs) null zurück gibt.