Function SELECT_EXECUTOR

web-src/src/main-app/store/scriptExecutionManager.js:27–29

(state, executor)

            state.executors[executor.state.id] = executor;
        },
        SELECT_EXECUTOR(state, executor) {
            state.currentExecutor = executor;
        },
        REMOVE_EXECUTOR(state, executor) {
            delete state.executors[executor.state.id];