Merge branch 'master' of /home/b-git-annex/source

This commit is contained in:
admin 2020-02-20 20:48:37 +00:00
commit d1fe9d0d2a
5 changed files with 47 additions and 1 deletions

View file

@ -53,7 +53,8 @@ different types of processes a remote might run.
while it's being used, and then gets put back into the pool once
it's idle again. So, register the pid as belonging to a thread when
the thread removes it from the pool, and deregister it when the thread
returns it.
returns it. If the thread gets killed, don't add it back to the pool,
but instead kill the process.
3. All the rest. For these what's needed is some way to register
the pid of the process that a thread starts as belonging to the thread,