diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-12-22 11:47:04 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-12-22 11:59:46 +0100 |
| commit | 3645389673af4c62a636cfe36f258ae770e8fb6b (patch) | |
| tree | 356f9337e5ca323babef0e43fc345b0017dda798 /executor/executor_linux.cc | |
| parent | 6f298a18e582be006780954d6b0c30cbe2f568f4 (diff) | |
pkg/csource: fix handling of proc types
Generated program always uses pid=0 even when there are multiple processes.
Make each process use own pid.
Unfortunately required to do quite significant changes to prog,
because the current format only supported fixed pid.
Fixes #490
Diffstat (limited to 'executor/executor_linux.cc')
0 files changed, 0 insertions, 0 deletions