From 5bf868e2aafe3003d83e0825c3eabb5113e0e0c1 Mon Sep 17 00:00:00 2001
From: Martin Michelsen <fuzziqersoftware+g@gmail.com>
Date: Thu, 1 Feb 2024 21:36:44 -0800
Subject: [PATCH] fix warp command argument name

---
 src/ServerShell.cc | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/ServerShell.cc b/src/ServerShell.cc
index bbef6639..65c845bd 100644
--- a/src/ServerShell.cc
+++ b/src/ServerShell.cc
@@ -251,10 +251,10 @@ Proxy session commands:\n\
     the current session only.\n\
   marker COLOR-ID\n\
     Change your lobby marker color.\n\
-  warp AREA-ID\n\
-  warpme AREA-ID\n\
+  warp FLOOR-ID\n\
+  warpme FLOOR-ID\n\
     Send yourself to a specific floor.\n\
-  warpall AREA-ID\n\
+  warpall FLOOR-ID\n\
     Send everyone to a specific floor.\n\
   set-override-section-id [SECTION-ID]\n\
     Override the section ID for games you create or join. This affects the\n\