I was building myself up to protest your comment on the RSS file. But it as they cheated by only giving the URL to the results page of the last build, with an auto generated filename for the actual file within that page, I agree with you. The steps you have to take (And hoops you have to jump through or around) gets so convulted that it is more effort than worth.
If I should try to guess at a solution it would be something like:
- Step one: Scrape the URL of the location of the current build.
- Step two: scrape and regexp the url of the last build using the few things in the URL one can guess should be stable.
- Step three: Check to see if the previous steps gave a valid URL, and present it as an option
With three layers of dependencies to get a valid URL, there are too many points of error, and it would need constant maintenance to stay valid and functional.
So we’re back at doing pocketmine the manual way. If I turn my far precognition on, I predict that for Pocket Edition Minecraft it will stay that way, unless mojang/microsoft do a total turnaround and sudenly release an official private pocket edition server version. As long as their solution for “Realms” gives them gold in the chest, I guess that ain’t happening.