Scrapes polyhedra objects from text files of different sources, in order to make them available to the package.
scrapePolyhedraSources(sources.config =
getPackageEnvir(".available.sources"),
max.quant.config.schedule = 0,
max.quant.scrape = 0, time2scrape.source = 30,
source.filenames = NULL, retry.scrape = FALSE)
the sources that will be used by the function
number of files to schedule
number of files scrape
time applied to scrape source
if not null specify which source filenames to scrape
should it retry scrape?
polyhedra db object