11-27-2020, 09:04 AM
(This post was last modified: 11-27-2020, 09:04 AM by MatthewStephenson.)
Hi Jay,
A quick update. We think that the cause of the problem is different default text encodings on the PCs.
It seems to be that most computers have UTF-8 as the default encoding but others do not, leading to some characters being interpreted differently.
By changing out default encoding to cp1252, we were able to get the "incorrect" hashcode of the other user.
We are working on a fix now, and will push out a new version of Ludii later today.
Cheers,
Matthew
A quick update. We think that the cause of the problem is different default text encodings on the PCs.
It seems to be that most computers have UTF-8 as the default encoding but others do not, leading to some characters being interpreted differently.
By changing out default encoding to cp1252, we were able to get the "incorrect" hashcode of the other user.
We are working on a fix now, and will push out a new version of Ludii later today.
Cheers,
Matthew