b2f730e53e9d6ed0c405d1455d9876fcf24208b8
ask whether to reconnect when a connection is lost Change-Id: I5928fabb7393bbf97a557b1ce1d85113891c96c9 Reviewed-on: https://forge.frm2.tum.de/review/c/sine2020/secop/playground/+/21865 Tested-by: JenkinsCodeReview <bjoern_pedersen@frm2.tum.de> Reviewed-by: Markus Zolliker <markus.zolliker@psi.ch>
Description
PSI local frappy repo, probably ahead of git/gerrit at MLZ
Languages
Python
99.9%