IoI_xDJul 28, 2023
"son of a bitch i forgot that my browser resolves java class names to UR- what the fuck"
Show threadRedstoneLP2Jul 28, 2023
@IoI_xD i just remembered https://server.properties exists.
Show threadChen Jul 29, 2023
@RedstoneLP2 @IoI_xD is there an api for this? that'd be interesting
Show threadIoI_xD
@flleeppyy
@RedstoneLP2 api for interacting with server.properties from a minecraft plugin?
Jul 29, 2023 at 8:42pmWeb
Show threadRedstoneLP2Jul 29, 2023
@IoI_xD @flleeppyy i'd guess an api to generate a server.properties file
Show threadChen Jul 29, 2023
@RedstoneLP2 @IoI_xD yeah it sounds stupid but like,,,, hgshsvdjfbfk
Show threadIoI_xDJul 29, 2023
@flleeppyy @RedstoneLP2 yeah its easy. type java.util.Properties's address bar into your browser to find the docs for it.