diff options
Diffstat (limited to 'games')
-rw-r--r-- | games/pks.awk | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/games/pks.awk b/games/pks.awk index c7ff320d..1e69f4ee 100644 --- a/games/pks.awk +++ b/games/pks.awk @@ -14,7 +14,10 @@ BEGIN { # Seed the random number generator "rnds 2>/dev/null" | getline seed - srand(seed) + if (length(seed)) + srand(seed) + else + srand() } # Iterate over the lines, randomly assigning the first field of each one with a |