Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Until now, the pid was not set (and -1 was printed during the logging). This (hopefully) helps with issues, where the "not killing" of Maxima processes was reported, e.g. #1199, #1824, #1922 or #1963.
- Loading branch information