diff options
| author | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2024-10-19 21:32:04 +0300 |
|---|---|---|
| committer | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2024-10-19 21:32:04 +0300 |
| commit | 3b3bc070f802491e98f87d9191e7d33fec78dd5a (patch) | |
| tree | 6272d10949276351e442b5a7ded304b89bf2b75b /TODO | |
| parent | 62b124e77493e32fe7f516bcb7dfbd454f353499 (diff) | |
| download | sciteco-3b3bc070f802491e98f87d9191e7d33fec78dd5a.tar.gz | |
<EC>: perhaps fixed race conditions and problems when creating and terminating process groups on Win32
* Sometimes already the job assignment failed in CI builds.
We now check whether the process is still alive before throwing an error.
* We now set the JOB_OBJECT_LIMIT_KILL_ON_JOB_CLOSE flag.
This theoretically shouldn't be necessary when using TerminateJobObject(),
but who knows.
Diffstat (limited to 'TODO')
| -rw-r--r-- | TODO | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -20,6 +20,7 @@ Known Bugs: Could this be a race condition when adding the process to the job object? Perhaps the child process should be created suspended before being added to the job object. Glib does not currently allow that. + This could already be fixed. * dlmalloc's malloc_trim() does not seem to free any resident memory after hitting the OOM limit, eg. after <%a>. Apparently an effect of HAVE_MORECORE (sbrk()) - some allocation is |