Function _removeExecutor

web-src/src/main-app/store/scriptExecutionManager.js:223–230

({dispatch, state, commit}, executor)

        },

        _removeExecutor({dispatch, state, commit}, executor) {
            if (!(executor.state.id in state.executors)) {
                return;
            }

            this.unregisterModule(['executions', executor.state.id]);
            commit('REMOVE_EXECUTOR', executor)
        }
    }
}