======================================= 20130918 (Wednesday, 18 September 2013) ======================================= 01h45 : Finished and checked in yesterday's changes for :ref:`davlink`. 07h10 : Fixed the well-known layout bug "params_panel is too high on first showing". 22h30 : Fixed a bug in :ref:`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.