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>