| Sun, 25 Apr 2021 22:33:53 +0200 | wenzelm | merged | changeset | files |
| Sun, 25 Apr 2021 22:33:15 +0200 | wenzelm | avoid "exec" to change the winpid; | changeset | files |
| Sun, 25 Apr 2021 21:12:59 +0200 | wenzelm | clarified check of root process on Windows (NB: the winpid is less stable than the Cygwin/Posix pid, so it needs to be "patched" into the the bash script, instead of bash_process.c); | changeset | files |
| Thu, 22 Apr 2021 23:40:22 +0200 | wenzelm | fast approximation of test for process group (NB: initial process might already be terminated, while background processes are still running); | changeset | files |
| Thu, 22 Apr 2021 23:03:58 +0200 | wenzelm | clarified signature; | changeset | files |
| Thu, 22 Apr 2021 22:55:41 +0200 | wenzelm | rebuild executable for x86_64-darwin; | changeset | files |
| Thu, 22 Apr 2021 22:07:05 +0200 | wenzelm | clarified command-line; | changeset | files |