mirror of
https://github.com/nicoverbruggen/phpmon.git
synced 2025-08-09 12:43:01 +02:00
Nico Verbruggen
a62ebcff92
There was an issue where updating a configuration file (including .ini) or having an action occur that marked PHP Monitor as busy would prevent the icon from updating correctly. This happened because access to the busy boolean state variable could happen from various threads. Since adding main thread isolation to the variable, you must access `PhpEnvironments.shared.isBusy` via the main thread, therefore ensuring that the busy state that is read from the app is always synchronized and accurate whenever it is checked, making it so that going from busy to no longer busy can no longer fail. (It was possible for work in another thread to complete and fail to set the icon to "not busy" because the work was done faster than the icon could be set to busy.)