paulc@boulder.Colorado.EDU (Paul Connally) (03/22/91)
If I exit the news server without first explicitly killing the console shell first, tcsh, the child process of wsh, doesn't die. This does not happen if I use csh or sh as the console's shell. Any one know why or a quick fix to tcsh? TIA -- Paul Connally University of Colorado Chief of Operations MCDB - Box 347 High Voltage Electron Microscope Lab Boulder, CO 80309 paulc@boulder.colorado.edu