tree 9a7ba7f254638e2f43da0218378013342d184370
parent 383ab1fb69bd03d3f0a3bfbe69714050e833e196
author Roberto Bampi <bampi.roberto@gmail.com> 1416918968 +0100
committer Roberto Bampi <bampi.roberto@gmail.com> 1416918968 +0100

timeout is now configurable and documented