From 3bfac2d1cf33e296569c598290f0e5d4fae000bc Mon Sep 17 00:00:00 2001
From: Chaoscaot <chaos@chaoscaot.de>
Date: Tue, 7 Oct 2025 22:43:54 +0200
Subject: [PATCH] Hotfix: Portal Permissions

---
 LobbySystem/src/de/steamwar/lobby/command/PortalCommand.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/LobbySystem/src/de/steamwar/lobby/command/PortalCommand.java b/LobbySystem/src/de/steamwar/lobby/command/PortalCommand.java
index e151120d..637b99e3 100644
--- a/LobbySystem/src/de/steamwar/lobby/command/PortalCommand.java
+++ b/LobbySystem/src/de/steamwar/lobby/command/PortalCommand.java
@@ -85,7 +85,7 @@ public class PortalCommand extends SWCommand {
     }
 
     @Register({"depth"})
-    public void portalDepth(Player player, Portal portal, @Max(intValue = 10) double depth) {
+    public void portalDepth(Player player, Portal portal, @Max(doubleValue = 10.0d) double depth) {
         if (noPermissions(player)) return;
         portal.setDepth(depth);
     }