Default time speed for waitFor is one JD per second and example work correct. In really we have other "bug" - time not synchronized for scripts and for GUI.
If set other time speed (core.setTimeRate()) then script will be work not correct.
Possible ways for solution: we can set time speed for waitFor as real time and remove time rate (set value for rate as 1).
Default time speed for waitFor is one JD per second and example work correct. In really we have other "bug" - time not synchronized for scripts and for GUI.
If set other time speed (core.setTimeRa te()) then script will be work not correct.
Possible ways for solution: we can set time speed for waitFor as real time and remove time rate (set value for rate as 1).