You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This issue is a long term fix for problems such as the ones in #167
We need to implement a mechanism that explicitly double check that the source file downloaded is different from the source file of the previous version (if exist).
This mechanism must be added to the automatic pull script that check file changes with HTTP headers.
The text was updated successfully, but these errors were encountered:
Now that we see how the script works we can close this issue as it is already implemented.
In the future, we might create another issue to enhance the script so that it does not pull the fils if HTTP headers do no indicate a change since the last pulled one.
This issue is a long term fix for problems such as the ones in #167
We need to implement a mechanism that explicitly double check that the source file downloaded is different from the source file of the previous version (if exist).
This mechanism must be added to the automatic pull script that check file changes with HTTP headers.
The text was updated successfully, but these errors were encountered: