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

2
lib/serverlist.dart
View file

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