diff options
Diffstat (limited to 'tools/guest-diag/guest_pin_stream.py')
| -rw-r--r-- | tools/guest-diag/guest_pin_stream.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tools/guest-diag/guest_pin_stream.py b/tools/guest-diag/guest_pin_stream.py index f6f13e5..5f71731 100644 --- a/tools/guest-diag/guest_pin_stream.py +++ b/tools/guest-diag/guest_pin_stream.py @@ -116,12 +116,15 @@ def new_sems(seen): def cdt_pid(): + prefixes = tuple(p for p in os.environ.get("CLIENT_PREFIXES", + "cdt,va").split(",") if p) for d in os.listdir('/proc'): if not d.isdigit(): continue try: with open('/proc/%s/comm' % d) as f: - if f.read().strip().startswith('cdt'): + name = f.read().strip() + if any(name.startswith(p) for p in prefixes): return int(d) except OSError: pass |