SpigotMC/BungeeCord — pull request #1302 by PunKeel (2014-12-15 22:48:40+00:00)
Title: Add timeout argument to ServerInfo.ping

- Add timeout argument to ServerInfo.ping(callback, timeout)
- Reduce the default value to 500ms instead of 5000ms

This is not backward compatible with projects not using the bungee-api and relying on the bungee-proxy. But this is the only way I knew to implement this timeout.

This PR has no effect on indentation, unlike #1298, so it replaces it.