diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2024-08-08 15:29:48 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2024-08-13 08:39:16 +0000 |
| commit | f21a18ca2012d229fb7061b37f26c8fa7de96e59 (patch) | |
| tree | b391e531f3ceba02fcbbe17381e068e853ce8ff7 /executor/_include/flatbuffers | |
| parent | 24d82c00908b7ce88f806bc92f0e5e5590a836bb (diff) | |
executor: set process name before taking snapshot
It's not necessary to set process name in snapshot mode
since we execute only 1 program each time.
Diffstat (limited to 'executor/_include/flatbuffers')
0 files changed, 0 insertions, 0 deletions