tree cecd635e5c51a39a1354cff12158e1a7c4ad782a
parent 7f1666ab00c38a2ab075e8fbefe6f3f113700868
author Marc Kupietz <kupietz@ids-mannheim.de> 1720860052 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1720860052 +0200

Speed up logout check: wait for notification

Change-Id: I1b4d61f555a6062f12ef9feaf60696e26415cdbd