diff options
| author | Willy Tarreau <[email protected]> | 2022-03-21 18:33:12 +0100 |
|---|---|---|
| committer | Paul E. McKenney <[email protected]> | 2022-04-20 17:05:45 -0700 |
| commit | 96d2a1313fe00927b33bb0ccbc3e8cd731826f7d (patch) | |
| tree | 30bc83a1a4063e475efa772d4f08de496db8eec2 /scripts/gdb/linux/utils.py | |
| parent | 54abe3590fd350afb9cde2398dd3f4ba5bf6d167 (diff) | |
tools/nolibc/types: add poll() and waitpid() flag definitions
- POLLIN etc were missing, so poll() could only be used with timeouts.
- WNOHANG was not defined and is convenient to check if a child is still
running
Signed-off-by: Willy Tarreau <[email protected]>
Signed-off-by: Paul E. McKenney <[email protected]>
Diffstat (limited to 'scripts/gdb/linux/utils.py')
0 files changed, 0 insertions, 0 deletions