#include <copyright.h>
#include <wattcp.h>

sock_debugdump( udp_Socket *u )
{
    tcp_Socket *t;

    t = (tcp_Socket *)u;

    printf("next	%4x\n\r", u->next);
    printf("type    %4x\n\r", u->ip_type);
    printf("error %s\n\r", u->err_msg ? u->err_msg : "(NONE)");
    printf("timervalue %8lx returns %sexpired\n\r",
	u->usertimer, chk_timeout(u->usertimer)?"":"NOT ");
    printf("udp rdata %u (%s)\n\r", u->rdatalen, u->rdata );
    printf("tcp rdata %u (%s)\n\r", t->rdatalen, t->rdata );
    printf("tcp state %u\n\r", t->state );
}
