const decoder = new TextDecoder("utf-8"); export function stringify_stream_bytes(bytes) { return decoder.decode(bytes); } export function jsonize_stream_data(data) { var json_chunks = []; data = data .replace(/^data:\s*/gm, "") .replace(/\[DONE\]/gm, "") .split("\n") .filter(function (line) { return line.trim().length > 0; }) .map(function (line) { json_chunks.push(JSON.parse(line.trim())); }); return json_chunks; }