diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-12-12 09:02:50 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-12-13 18:56:36 +0100 |
| commit | 138959733bc731cc789fa7c7473e493b2e104bcc (patch) | |
| tree | aa50a828f38de64056e17ce5da9c99c834bbb8a4 /executor/executor.cc | |
| parent | d0d624444f8c925c99f29ff0deff2a2ce8c951d9 (diff) | |
syz-manager: store mgrconfig.Config in RPCServer
We used to select and store separate config fields.
But we now have 4 and will also need VM type.
Instead of adding more and more fields store config
directly. It's read-only and a stable abstraction,
so this should be fine.
Diffstat (limited to 'executor/executor.cc')
0 files changed, 0 insertions, 0 deletions