diff options
| author | fischerling <florian.fl.fischer@fau.de> | 2021-03-08 17:36:51 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-08 17:36:51 +0100 |
| commit | 30164dc04cfd20c26627c54f3598cad81de3ec11 (patch) | |
| tree | 1496f9d16d3060fc73ba80f0757d3b0c5ce887cb /.github/workflows | |
| parent | ac56a4d04e8e32c84cf67b65cc47c5325e036f12 (diff) | |
| parent | b6960925c6d4917362e1631b1ffe4a5a76c67099 (diff) | |
| download | vis-lspc-30164dc04cfd20c26627c54f3598cad81de3ec11.tar.gz vis-lspc-30164dc04cfd20c26627c54f3598cad81de3ec11.zip | |
Merge pull request #11 from fischerling/pid_pgrep_fallback
introduce a fallback if /proc/self/stat is not available
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions