mirror of https://github.com/mongodb/mongo
SERVER-111750 Make SEORDER more random (#42017)
GitOrigin-RevId: e193663cfbead5a36282d3e633ae0550f93e38ba
This commit is contained in:
parent
3bc4b4a7c4
commit
41ff0baec0
|
|
@ -25,7 +25,7 @@ fi
|
||||||
|
|
||||||
# selinux policy should work both when applied before and after install
|
# selinux policy should work both when applied before and after install
|
||||||
# we will randomly apply it before or after installation is completed
|
# we will randomly apply it before or after installation is completed
|
||||||
SEORDER="$(($RANDOM % 2))"
|
SEORDER="$(($(od -An -N1 -tu1 /dev/urandom) % 2))"
|
||||||
if [ "$SEORDER" == "0" ]; then
|
if [ "$SEORDER" == "0" ]; then
|
||||||
apply_selinux_policy
|
apply_selinux_policy
|
||||||
fi
|
fi
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue