The pipe.delete window is now destroyed, so that the GUI can exit.
Authored by: bugman 2010-12-13
Parent: [r11780]
Child: [r11782]