Function SET_KILL_INTERVAL

web-src/src/main-app/store/scriptExecutor.js:177–181

(state, {id, timeoutSec, killEnabled})

            },

            SET_KILL_INTERVAL(state, {id, timeoutSec, killEnabled}) {
                state.killIntervalId = id;
                state.killTimeoutSec = timeoutSec;
                state.killEnabled = killEnabled;
            },

            DEC_KILL_INTERVAL(state) {
                state.killTimeoutSec--;