Method code for $connection.push_buffered()

[Turn off line numbering]

---

  1: var line;
  2: 
  3: // called when a read() suspends the connection--to finish unbuffering i/o
  4: while (line_buffer) {
  5:     line = line_buffer[1];
  6:     line_buffer = delete(line_buffer, 1);
  7:     (| .parse_line(line) |);
  8: }

---

// Created 22-Aug-1995 as a part of ColdCore, see: @help Credit