HomeIsabelle/Phabricator

clarified check of root process on Windows (NB: the winpid is less stable than…

Description

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);