K 10 svn:author V 2 dg K 8 svn:date V 27 1995-09-20T08:34:47.000000Z K 7 svn:log V 80 Brought in change from rev 1.4: don't dereference a NULL pointer in null pipes. END