/**
* Reloads server data and updates the ListView
*
* <p>Reads servers from both available_servers and Preferences.custom_servers. The list will have
* available_servers first, the custom_servers. Remember that the custom_servers are editable,
* while the available_servers are not.
*/
private void refresh() {
try {
mServers = new JSONArray(Util.file_get_contents(getActivity(), R.raw.available_servers));
mNumAvailableServers = mServers.length();
mCustomServers = Preferences.getCustomServers(getActivity());
int len = mCustomServers.length();
for (int i = 0; i < len; i++) {
mServers.put(mCustomServers.getJSONObject(i));
}
} catch (JSONException e) {
Util.displayCrashDialog(getActivity(), "Could not load endpoints from json");
}
mListView.setAdapter(new ServersAdapter(mServers, getActivity()));
}
