Ah! OK. Makes sense.
On Thu, Mar 27, 2014 at 5:15 PM, Ben Arthur <[email protected]> wrote: > i guess i should be more explicit in my suggestion that we rename > addprocs() to addworkers(), and rmprocs() to rmworkers(). this new > nomenclature would be more precise, b/c you can't just add/rm any proc with > these functions, just worker procs. > > to be even more consistent, we should probably also consider changing the > -p flag on the command line to -w. >
