To find the seed of the current world:
- Start the server and wait until it has fully loaded.
- Open Web Console and enter seed. The returned number is the world seed.

- Alternatively, join the game and use /seed if you have the required permissions.
To set a seed for a newly generated world:
- Open Configuration Files.
- Click Configuration Editor for server.properties.
- Enter the required value under Level Seed.
- Save the configuration.
- Generate a new world and start the server. Changing the value alone does not alter an already generated world.