Projektwoche-20/server_pinger
2
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

update state when setting serversInitialised flag #31

Merged
Jeremy Kescher merged 1 commit from jeremy/0129/fix-deadly-bug into master 2020-01-29 14:36:48 +00:00
Conversation 0 Commits 1 Files changed 1 +3 -1
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
lib/serverlist.dart
View file

@ -475,7 +475,9 @@ class _ServerListState extends State<ServerList> {
_updateServerStatus(server); _updateServerStatus(server);
servers.add(server); servers.add(server);
}); });
serversInitialised = true; setState(() {
serversInitialised = true;
});
}); });
} }