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

1 files changed, 1 insertions, 1 deletions

diff --git a/PKGBUILD b/PKGBUILD
index ad2c483c75ca..7f62f241c421 100755
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -29,7 +29,7 @@ sha512sums=('f559fa53c0465d30a0165b643e01a7ddb576282c42d18b899bf844651c4fa144a5e
             '76c77e47c442b477216e968db2213612579b24add54cf0e0512f808498673500b4d24e59bce70b1e7479d724a9a897ceb154e937b88a476beb11c8776258b36c'
             '5a32439ff4b8fa9db89e9242206cf99109e0b00f29f87711c25342dda522171d999f7e18fb2013437ddf62cfec05b6677601933233aaf42bcb5d67eb7a1469ee'
             '33f456fd945bb2cfa6b390ce0ab02753cc6366e39abff80a4f2b7aa3aebe3cd31d148b785cbc2aa159dd8ad9fb03233a09f8693eb031b6b9db8dc03643d2397b'
-            '5454383f0bf059129b862d4eec44a25912e37f24d3446158e9c7d7efdb267ee962bc0c20a4f0b2706d35d0421335b95a9b22a9a1f943fb6a72dbac34cbf3dd5f')
+            '58c48e7f06bc4508ca4ef2f661efcec3ab7aea56fd6cc46e1a9a33a99ea978e39912105b74fd359160b25a65195cd4812d8055501d97fc8a8f80ce388ee21a98')
 
 _game="spigot"
 _server_root="/srv/craftbukkit"