From dcde3915e8e8cae25696087e523d08b6942c5f20 Mon Sep 17 00:00:00 2001 From: Jiahao Chen Date: Sat, 4 Oct 2014 20:54:37 -0400 Subject: [PATCH] Doc: Clean up description of op in manage --- doc/manual/parallel-computing.rst | 16 +++++++++------- 1 file changed, 9 insertions(+), 7 deletions(-) diff --git a/doc/manual/parallel-computing.rst b/doc/manual/parallel-computing.rst index dfda7212e181b..b0c2414f8557b 100644 --- a/doc/manual/parallel-computing.rst +++ b/doc/manual/parallel-computing.rst @@ -729,13 +729,15 @@ The ``manage`` method takes the following arguments: - ``manager::ClusterManager`` - used to dispatch the call to the appropriate implementation - ``id::Integer`` - The Julia process id - ``config::Dict`` - configuration dictionary for the worker. The data may have been modified by the ``launch`` method - - ``op::Symbol`` - The ``manage`` method is called at different times during the worker's lifetime. - ``op`` is one of ``:register``, ``:deregister``, ``:interrupt`` or ``:finalize``. - ``manage`` is called with ``:register`` and ``:deregister`` when a worker is - added / removed from the Julia worker pool. With ``:interrupt`` when - ``interrupt(workers)`` is called. The cluster manager should signal the appropriate - worker with an interrupt signal. With ``:finalize`` for cleanup purposes. - + - ``op::Symbol`` - one of ``:register``, ``:deregister``, ``:interrupt`` or ``:finalize``. + The ``manage`` method is called at different times during the worker's lifetime: + + - with ``:register``/``:deregister`` when a worker is added / removed + from the Julia worker pool. + - with ``:interrupt`` when ``interrupt(workers)`` is called. The + ``ClusterManager`` should signal the appropriate worker with an + interrupt signal. + - with ``:finalize`` for cleanup purposes. .. rubric:: Footnotes