During the setup for an event with several tournaments which don't have the same start times or cadence, I realized that only one timer is available.
Current solution
One of two possible solutions:
Spin up two different servers with different ports, and set up two events with a distinct timer.
Use one timer and add events for each (which can interfere with each other).
Proposed solution
Allow the use of distinct timers in an event (undecided syntax)
If several timers are configured, use show_timer = <timer_id> and disallow show_timer = on in screens and tournaments
During the setup for an event with several tournaments which don't have the same start times or cadence, I realized that only one timer is available.
Current solution
One of two possible solutions:
Proposed solution
Allow the use of distinct timers in an event (undecided syntax) If several timers are configured, use
show_timer = <timer_id>
and disallowshow_timer = on
in screens and tournaments