Lines Matching defs:buffer
352 /* Returns the number of bytes in the stdio output buffer for process `p`. */
367 /* Copy the contents of the stdio output buffer to `fd`. */
391 /* Copy the last line of the stdio output buffer to `buffer` */
393 char* buffer,
403 buffer[0] = '\0';
405 while (fgets(buffer, buffer_len, p->stdout_file) != NULL) {
406 for (ptr = buffer; *ptr && *ptr != '\r' && *ptr != '\n'; ptr++)
413 buffer[0] = '\0';
442 /* Clean up after terminating process `p` (e.g. free the output buffer etc.). */