Hi John,

We cannot figure out how your user managed to lock the INI file against modification by another user. These files are open and closed in (micro) seconds.

What was the user doing? Did you reboot their workstation?