Method code for $connection.push_buffered()

[Turn on line numbering]

---

var line;

// called when a read() suspends the connection--to finish unbuffering i/o
while (line_buffer) {
    line = line_buffer[1];
    line_buffer = delete(line_buffer, 1);
    (| .parse_line(line) |);
}

---

["// Created 21-Aug-1995 as a part of ColdCore, see: @help Credit"]