I tried other widgets such as edit and text and the same thing happened so if the input file is being updated regularly then developers will have to accept that there could be conflicts depending on the frequency.zigbert wrote:The issue with <checkbox> is similar to the <entry> - You can't actually rely on that it refreshes EVERY time.
...
I have made some extras in pMusic to overcome this issue. It now very seldom occur.
- For some reason <input>cat works better than <input file>
...
You can duplicate this behaviour by running these two lines in separate terminals:
Code: Select all
while [ true ]; do date > /tmp/test; sleep 0.1; done
while [ true ]; do echo /tmp/test="`cat /tmp/test`"; sleep 1; done
Everybody's going to have to design around minimising conflicts because otherwise I'm going to have to offer file locking.
Anyway, it's good that you have worked around it for pMusic