Arming, selecting a new file, that file turning green, and pushing the play button all reflect changes made from different browsers (i.e. in one browser play is pushed, the other browser updates to reflect this). Pushing the "stop" button doesn't do this.
A path to fix this:
The get_status command should already be giving us whether the process is alive. If no process is alive and the stop button is active, it should be deactivated and the play button made active again.
Arming, selecting a new file, that file turning green, and pushing the play button all reflect changes made from different browsers (i.e. in one browser play is pushed, the other browser updates to reflect this). Pushing the "stop" button doesn't do this.
A path to fix this: The get_status command should already be giving us whether the process is alive. If no process is alive and the stop button is active, it should be deactivated and the play button made active again.