Fix setting random seed to current time (#2651)

Setting the random seed to 0 or lower of a `Random` generator will now set it to the UNIX timestamp of the current time.
SuperTux · Oct 5, 2023 · 6bbfb45 · 6bbfb45
1 parent 6ed22a0
commit 6bbfb45
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/math/random.cpp b/src/math/random.cpp
@@ -16,6 +16,7 @@
 
 #include "math/random.hpp"
 
+#include <ctime>
 #include <limits>
 
 Random graphicsRandom;
@@ -29,6 +30,9 @@ Random::Random() :
 void
 Random::seed(int v)
 {
+  if (v <= 0)
+    v = static_cast<int>(std::time(nullptr)); // Use the UNIX timestamp of the current time as a seed.
+
   m_generator.seed(v);
 }