pipe.display() now places quotation marks around the pipe names and shows which is the current data pipe.
Authored by: bugman 2010-07-29
Parent: [r11384]
Child: [r11386]
