resourceIds[i++] = id;
}
// ask the server to ignore the selected non-platform resources
ResourceGWTServiceAsync resourceManager = GWTServiceLookup.getResourceService();
resourceManager.ignoreResources(resourceIds, new AsyncCallback<Void>() {
public void onFailure(Throwable caught) {
CoreGUI.getErrorHandler().handleError(MSG.view_inventory_resources_ignoreFailed(), caught);
refreshTableInfo();
}