Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
(it seems rlim_max is unreliable on some systems and anyway as a userspace program, not trying to raise the limit, we should honor the soft limit and not the hard one)
- Loading branch information