Closed fenic-fawkes closed 2 weeks ago
i was too optimistic about the server change going in in time for the various hotfixes. this makes the pause timeout both less aggressive than without is_paused, but a little more aggressive than is strictly necessary once the server change goes in.
i was too optimistic about the server change going in in time for the various hotfixes. this makes the pause timeout both less aggressive than without is_paused, but a little more aggressive than is strictly necessary once the server change goes in.