/** * 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())); }