From c7554c888e065c9b1c4e806e5434c495c2131ae8 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Mon, 7 Dec 2020 12:39:25 +0000 Subject: [PATCH] Merge docs for 'adding dev_environment (#615)' --- docs/scarpet/Full.md | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/scarpet/Full.md b/docs/scarpet/Full.md index 78b53a0d..5b25bd4e 100644 --- a/docs/scarpet/Full.md +++ b/docs/scarpet/Full.md @@ -4929,6 +4929,7 @@ Available options in the scarpet app space: * `server_whitelist` - list of players allowed to log in * `server_banned_players` - list of banned player names * `server_banned_ips` - list of banned IP addresses + * `server_dev_environment` - boolean indicating whether this server is in a development environment. System related properties * `java_max_memory` - maximum allowed memory accessible by JVM