puts("\nreceive aborted\nwaiting for remote to finish abort");
puts("\nreceive aborted\nwaiting for remote to finish abort.");
abortrecv(notused)	int notused;{	alarmtimer(0);	mflag = 0;	abrtflag = 0;	puts("\nreceive aborted\nwaiting for remote to finish abort");	(void)fflush(stdout);	longjmp(recvabort, 1);}