From cbcdfdc288759aec7790ae5e726913003f1e39e4 Mon Sep 17 00:00:00 2001 From: Geoff Bourne Date: Wed, 15 May 2024 08:50:32 -0500 Subject: [PATCH] docs: add info about DUMP_SERVER_PROPERTIES (#2826) --- docs/configuration/server-properties.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/docs/configuration/server-properties.md b/docs/configuration/server-properties.md index e30fcdf8..1e647763 100644 --- a/docs/configuration/server-properties.md +++ b/docs/configuration/server-properties.md @@ -4,7 +4,9 @@ If you prefer to manually manage the `server.properties` file, set `OVERRIDE_SER !!! note - To clear a server property, set the variable to an empty string, such as `-e RESOURCE_PACK=""`. An unset variable is ignored and the existing `server.property` is left unchanged. + To clear a server property, set the variable to an empty string, such as `-e RESOURCE_PACK=""`. An unset variable is ignored and the existing server property is left unchanged. + +To see what `server.properties` will get used by the server, set the environment variable `DUMP_SERVER_PROPERTIES` to "true" and the contents of `server.properties` will get output before the server starts. ## Placeholders