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 commits 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);
servers.add(server);
});
serversInitialised = true;
setState(() {
serversInitialised = true;
});
});
}