Lines Matching defs:select
15 import select
259 while select.select([pipe], [], [], 0)[0]:
971 """Waits for background jobs by select polling their stdout/stderr.
981 # a 1 second timeout is used in select.
1001 time_left = None # so that select never times out
1004 # select will return when we may write to stdin, when there is
1007 # signal was sent to the process. In the last case the select returns
1011 read_ready, write_ready, _ = select.select(read_list, write_list,
1013 except select.error as v:
1031 # no more input data, close stdin, remove it from the select set
1044 # process exited, remove its stdout/stdin from the select set
