Function DEC_KILL_INTERVAL

web-src/src/main-app/store/scriptExecutor.js:183–185

(state)

            },

            DEC_KILL_INTERVAL(state) {
                state.killTimeoutSec--;
            }
        }
    }
}