diff README.md @ 1697:fc8e4f893db1

Better synchronization in getDirectory() and new getFile(). getDirectory() now only synchronizes when a new directory object is created. getFile() now uses getDirectory(). Other small cleanups.
author Robert Casties <casties@mpiwg-berlin.mpg.de>
date Sun, 16 Dec 2018 18:49:16 +0100
parents a243eb5cc480
children 439aefc7a6c9
line wrap: on
line diff