Fix loading of user repository and add refresh when adding/removing.

This commit is contained in:
Xavier Ducrohet
2009-07-23 14:43:49 -07:00
parent d74be2a969
commit ecc85daf7b
3 changed files with 5 additions and 4 deletions

View File

@@ -93,7 +93,7 @@ public class RepoSources {
int count = Integer.parseInt(props.getProperty(KEY_COUNT, "0"));
for (int i = 0; i < count; i++) {
String url = props.getProperty(String.format("%s%02d", KEY_SRC, count)); //$NON-NLS-1$
String url = props.getProperty(String.format("%s%02d", KEY_SRC, i)); //$NON-NLS-1$
if (url != null) {
mSources.add(new RepoSource(url, true /*userSource*/));
}
@@ -117,7 +117,6 @@ public class RepoSources {
}
}
}
}
/**