disconnect (signo) int signo;
disconnect (int signo)
disconnect (signo)int signo;{  catch_errors (quit_cover, NULL,		"Could not kill the program being debugged", RETURN_MASK_ALL);  signal (SIGHUP, SIG_DFL);  kill (getpid (), SIGHUP);}