about execute_from_args document

[MichaelBBTiger]

https://docs.rs/timely/latest/timely/execute/fn.execute_from_args.html

“The arguments currently understood by execute_from_args are:
-w, --workers: number of per-process worker threads.
-n, --processes: number of processes involved in the computation.
-p, --process: identity of this process; from 0 to n-1.
-h, --hostfile: a text file whose lines are “hostname:port” in order of process identity. If not specified, localhost will be used, with port numbers increasing from 2101 (chosen arbitrarily). ”

It seems that the long parameters, such as --workers, are no longer effective, and the documentation can be updated to remove them.

[antiguru]

Oh, it's a documentation bug: it should be -w, --threads, which is still supported.