Not sure if this is the proper location for this question, but- Does anyone know what time zone the Jenkins server is in? I'm using a modified start.ps1 to do a quick update check (and download if it finds a newer version)of Pocketmine-MP, that compares the last modified date-time for the Jenkins build to the last modified date-time of the file I have running on the server. Now its getting tripped off and downloading the same version every time the server restarts because the Jenkins server is in a different time zone. I just need a hour offset that I can use. Note- This is NOT for a prod server. I understand that its a terrible idea to get the latest version every time.
The Pocketmine-MP.phar doesn't like to get replaced while the server is running. It tends to crash when I issue the stop command after an update like that. I kept hitting a "This file is in use" problem as well. The script will do it while the server is off.
You could just download the phar at runtime with a different name and then have your start script replace the file.