From 4549d51c7bfe02f943f5a3fdf5bb1a021c94ac00 Mon Sep 17 00:00:00 2001
From: niten <niten@fudo.org>
Date: Sun, 16 Jul 2023 10:52:11 -0700
Subject: [PATCH] Change level seed into string?

---
 lib/fudo/minecraft-server.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/fudo/minecraft-server.nix b/lib/fudo/minecraft-server.nix
index 0ea5283..9a26f66 100644
--- a/lib/fudo/minecraft-server.nix
+++ b/lib/fudo/minecraft-server.nix
@@ -93,7 +93,7 @@ in {
       declarative = true;
       serverProperties = {
         level-name = cfg.world-name;
-        level-seed = cfg.world-seed;
+        level-seed = toString cfg.world-seed;
         motd = cfg.motd;
         difficulty = cfg.difficulty;
         gamemode = cfg.game-mode;