Command: dadSetPipeHandle
Set the pipe to be read from, if a process was started via
dadOpenPipe.
dadSetPipeHandle pipename
- The name pipename is passed to the process via the
command line option --dadinputpipe.
See also:
Previous
Up
Next
This page is maintained by
pink@hermes.desy.de;
last modification: Jun 1 1995 .