Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix the selection of the Nobody user.
Strictly speaking only the first line needed to be changed, but I figure for consistency it is clearer if we just use $principal. ($user and $principal are pointing to the same object for the second line.)
- Loading branch information