Go to file
Gordian Edenhofer 53426af2a7 upgpkg: minecraft-server 1.13.2-3
Adapt the `is_player_online` function to be a little more generic. This
fixes detecting players on cuberite even with the most recent version.

upgpkg: cuberite 1.12b1014-1
upgpkg: spigot 1.13.2+b93-1
2019-03-28 11:51:00 +01:00
.SRCINFO upgpkg: minecraft-server 1.13.2-3 2019-03-28 11:51:00 +01:00
PKGBUILD upgpkg: minecraft-server 1.13.2-3 2019-03-28 11:51:00 +01:00
minecraft-server.install *.install: Instead of fancy `msg` use plain `echo` 2017-11-11 13:03:58 +01:00
minecraftd-backup.service Upgpkg: 1.9-4 2016-03-05 10:08:55 +01:00
minecraftd-backup.timer minecraft-server: remove out-of-place Type option in backup timer 2016-01-29 23:46:34 -05:00
minecraftd.conf upgpkg: minecraft-server 1.11.2-2 2016-12-29 15:47:45 +01:00
minecraftd.service upgpkg: minecraft-server 1.12.2-3 2018-06-14 20:55:13 +02:00
minecraftd.sh upgpkg: minecraft-server 1.13.2-3 2019-03-28 11:51:00 +01:00