Empty contacts cache on disconnect

The cache of server data must be cleared on any disconnect. This avoids
a bug when devices from another server are displayed after connecting to
a different server or displaying outdated states on re-connect.

1 files changed, 1 insertions, 0 deletions

diff --git a/lib/data.dart b/lib/data.dart
index ca350e5..4962a50 100644
--- a/lib/data.dart
+++ b/lib/data.dart
@@ -147,6 +147,7 @@ class AppState with ChangeNotifier {
   }
 
   void _onDisconnected() {
+    contacts = <String, bool>{};
     process(MachineEvent.disconnected);
   }