Tonight, we encountered an odd problem. Four MD5-sums displayed on our homepage didn’t match the “fingerprint” of the actual files on the servers. As precaution, we took our servers offline to analyse the servers and to see what has happened.
To our relief this was a false alarm. While uploading new installer-files to the servers, the responsible person forgot to properly update the checksums that help verifying that noone tampered with the files. We thoroughly checked every file on every server and could verify that all of them are in the state they’re supposed to be. Everything is back to normal operations now.