Merge branch 'people' of ssh://halbi.ddnss.de:2122/media/raid/repositories/pollux into people

This commit is contained in:
goldnead
2018-09-12 11:43:11 +02:00
2 changed files with 24 additions and 0 deletions
+21
View File
@@ -0,0 +1,21 @@
<?php
/*
* Returns true with a given percentage.
*
* @param int $prob Probability for true in percent.
*
* @return boolean
*/
function rand_bool($prob = 50) {
if ($prob < 0 or $prob > 100) {
throw new InvalidArgumentException('The value for the probability '.
' must be in a range from 0 to 100.');
} else if (!is_int($prob)) {
throw new InvalidArgumentException('rand_bool only accepts integers.');
}
$rand = rand(1, 100);
return $rand <= $prob;
}