/* Output a single byte to the usb client port.  */
void usbtty_putc(const char c)
/* Output a single byte to the usb client port.  */
void usbtty_putc(const char c)
{
	if (!usbtty_configured ())
		return;
	buf_push (&usbtty_output, &c, 1);
	if (c == '\n')
		buf_push (&usbtty_output, "\r", 1);
	if ((usbtty_output.size + 2) >= usbtty_output.totalsize) {
		usbtty_poll ();
	}
}