DedicatedServerProperties | | a() | | getProperties() | | method_16705() | | getProperties() | | m_7913_() |
|
String | | b() | | getServerIp() | | method_12929() | | getHostname() | | m_6866_() |
|
int | | d() | | getServerPort() | | method_12918() | | getPort() | | m_7448_() |
|
String | | p() | | getServerName() | | method_12930() | | getMotd() | | m_6995_() |
|
String | | G() | | getServerVersion() | | method_3827() | | getVersion() | | m_7630_() |
|
int | | H() | | getPlayerCount() | | method_3788() | | getCurrentPlayerCount() | | m_7416_() |
|
int | | I() | | getMaxPlayers() | | method_3802() | | getMaxPlayerCount() | | m_7418_() |
|
String[] | | J() | | getPlayerNames() | | method_3858() | | getPlayerNames() | | m_7641_() |
|
String | | r() | | getLevelIdName() | | method_3865() | | getLevelName() | | m_7123_() |
|
String | | s() | | getPluginNames() | | method_12916() | | getPlugins() | | m_7138_() |
|
String | |