Lines Matching full:pipes
105 # Open output pipes (readers)
123 # Read from child and write to files/pipes
126 # Make a list of reader pipes whose buffers are not empty
176 # Close all files and pipes
352 In addition, the server opens as many pipes as requested by the client and
354 The pipes are requested and accessed by classes derived from Spawn.
355 These pipes are referred to as "readers".
420 # Let the server know a client intends to open some pipes;
441 # Open the reading pipes
