Open PeterJCLaw opened 5 years ago
Now that the main class is parametrised (https://github.com/PeterJCLaw/srcomp-puppet/commit/a237a96215a5c718e53bb893de792c5e0ca666ae) this might be more possible. It likely still requires knowing the "other" compbox name(s) somehow though.
We have NTP between the displays in the venue and the compbox, however for various reasons some viewers look at the public compbox. It would be great if the various deployments could be in sync together too.