Moved server options below the settings section

This commit is contained in:
Jiří Štefka 2023-02-23 02:50:21 +01:00 committed by GitHub
parent 0683e98cdf
commit a51e3e777d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -34,15 +34,15 @@ select_build=""
# !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! # # !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! #
mem="2000M" mem="2000M"
#
# Options for the server
#
mc_launchoptions="-nogui"
# ------------------------------------------------ # ------------------------------------------------
# You shouldn't need to change anything below this # You shouldn't need to change anything below this
# ------------------------------------------------ # ------------------------------------------------
# Options for the server
mc_launchoptions="-nogui"
if [[ "${mem%M}" -gt 12000 ]]; then if [[ "${mem%M}" -gt 12000 ]]; then
G1NewSize=40 G1NewSize=40
G1MaxNewSize=50 G1MaxNewSize=50