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; | |
} | |