From 02e60ad87cbdae197db4e500e54c36bbc74c25d8 Mon Sep 17 00:00:00 2001
From: Pierre HUBERT <pierre.git@communiquons.org>
Date: Fri, 1 May 2020 09:17:08 +0200
Subject: [PATCH] Pop routes when WebSocket connection is interrupted

---
 lib/ui/widgets/init_widget.dart | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/lib/ui/widgets/init_widget.dart b/lib/ui/widgets/init_widget.dart
index e9240fa..ecd8609 100644
--- a/lib/ui/widgets/init_widget.dart
+++ b/lib/ui/widgets/init_widget.dart
@@ -62,6 +62,10 @@ class _InitializeWidgetState extends SafeState<InitializeWidget> {
       print("Could not connect to server! $e");
       print(stack);
 
+      // Pop until we reach main route
+      Navigator.of(context)
+          .popUntil((settings) => ModalRoute.of(context).isCurrent);
+
       setState(() {
         _error = true;
       });