[jsword-devel] JobManager.numberOfJobs()

[Martin Denham]

Hi DM,

There used to be a way to get the list of jobs from JobManager -
JobManager.getJobs() - which I used to find i) if there are outstanding
jobs and ii) how many iii) iterate over the jobs

This has been replaced with JobManager.iterator which allows iii) and I
could duplicate i) and ii) in my code but a method like
JobManager.numberOfJobs() would be useful.

Could JobManager.numberOfJobs() be added?

Thanks
Martin
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.crosswire.org/pipermail/jsword-devel/attachments/20130328/11f4524c/attachment.html>