Merge docs for 'adding dev_environment (#615)'

This commit is contained in:
github-actions[bot] committed 2020-12-07 12:39:25 +00:00
1 parent bf0b75ebff
commit c7554c888e
1 file changed
+1
+1
View File
@@ -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