in ev3-api/src/ev3api_newlib.c [63:93]
int _write(int file, char *ptr, int len) {
ID portid;
switch(file) {
case STDOUT_FILENO:
case STDERR_FILENO:
case SIO_STD_FILENO:
portid = SIO_PORT_DEFAULT;
break;
case SIO_UART_FILENO:
portid = SIO_PORT_UART;
break;
case SIO_BT_FILENO:
portid = SIO_PORT_BT;
break;
default:
errno = EBADF;
return -1;
}
ER_UINT erlen = serial_wri_dat(portid, ptr, len);
assert(erlen > 0);
if(erlen <= 0)
API_ERROR("erlen: %d\n", erlen);
return erlen;
}