server_input_eof(int type, int plen)
server_input_eof(int type, int plen, void *ctxt)
server_input_eof(int type, int plen){	/*	 * Eof from the client.  The stdin descriptor to the	 * program will be closed when all buffered data has	 * drained.	 */	debug("EOF received for stdin.");	packet_integrity_check(plen, 0, type);	stdin_eof = 1;}