malkusch\lock\mutex\RedisMutex::seedRandom PHP Method

seedRandom() public method

Normally you don't need to seed, as this happens automatically. But if you experience a {@link LockReleaseException} this might come from identically created random tokens. In this case you could seed from /dev/urandom.
public seedRandom ( integer | null $seed = null )
$seed integer | null The optional seed.
    public function seedRandom($seed = null)
    {
        is_null($seed) ? srand() : srand($seed);
    }