Make task manager background time interval configurable

lanl / BEE

Other

13 stars 3 forks source link

Closed jtronge closed 8 months ago

jtronge commented 8 months ago

This makes the time interval in the task manager configurable, currently with a default of 10 seconds. This should address issue #741.