Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: Migration of unmigrated content due to installation of a new plugin

This command is used to seed the random engine with the number 12345.

No Format
/random/seed 12345

With no argument, the random engine is seeded with the current time in milliseconds.

No Format
/random/seed

The -d command is the corresponding command line switch.