K 10 svn:author V 3 hsu K 8 svn:date V 27 1995-02-16T07:21:35.000000Z K 7 svn:log V 92 Use csh instead of sh to work around bug w/ tty handling. Pointed out by pw@snoopy.MV.COM. END