Why doesn't tcsh die in console?

[Paul Connally]

	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 at boulder.colorado.edu