From 18602a42f15492d5eb8cdc0530a23d0551b947ca Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Emmanuel=20BENO=C3=8ET?= <tseeker@nocternity.net>
Date: Fri, 3 Jan 2025 23:35:45 +0100
Subject: [PATCH] fix: simpler server CLI tool usage

---
 docker/backend-entrypoint.sh | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/docker/backend-entrypoint.sh b/docker/backend-entrypoint.sh
index 9724933..2d0cc77 100755
--- a/docker/backend-entrypoint.sh
+++ b/docker/backend-entrypoint.sh
@@ -7,7 +7,7 @@ run_init_command() {
 	shift
 	if ! [ -f state/init-$stage ]; then
 		echo "Running initialization stage $stage"
-		echo " --> $@"
+		echo " --> $*"
 		if /app/entrypoint.sh tool "$*"
 		then
 			touch state/init-$stage
@@ -53,10 +53,12 @@ if [ "$cmd" == server ]; then
 elif [ "$cmd" == shell ]; then
 	exec /bin/sh
 elif [ "$cmd" == tool ]; then
+	tool="$1"
+	shift
 	exec /usr/bin/java \
 		-Dlog4j.configuration=log4j.properties \
 		-jar server.jar \
-		--run-tool "$@"
+		--run-tool "$tool" "$*"
 else
 	echo "Invalid command '$cmd'" >&2
 	exit 1