From yiyangl2 at asu.edu  Fri Dec 22 17:25:37 2017
From: yiyangl2 at asu.edu (Yiyang Li)
Date: Fri, 22 Dec 2017 15:25:37 -0700
Subject: [execnet-dev] Kill a running job on remot node, or get its PID?
Message-ID: <CAMMZQjnLoBmNGL8jPtMRNTfYR4E-On+Uwwv-5PfCTA1KL9+baw@mail.gmail.com>

Dear developers,

I am using execnet, and I need to kill some running jobs by monitoring the
results of finished jobs, then submit new jobs to the freed cores.

I made two tests to check if this can be done in execnet:

    1. If I send a termination signal to a remote core, its current jobs
keeps running, and the termination signal is evaluated after the current
job is finished.
    2. If I directly close a group, the current job still keeps running
like in #1.

Is there a way to terminate a running job in execnet? If the answer is no,
then is there a way to return the PID of the running job in execnet? Thank
you.

Best regards,
Yiyang
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/execnet-dev/attachments/20171222/b33fec78/attachment.html>