Function readString

packages/migrate/scripts/jnoj.ts:17–22

(length: number)

function parsePhpArray(serialized: string) {
    const initial = serialized;
    const readString = (length: number) => {
        const buf = new TextEncoder().encode(serialized).slice(0, length);
        const result = new TextDecoder().decode(buf);
        serialized = serialized.slice(result.length);
        return result;
    };
    const readInt = () => {
        let val = 0;
        if (!'0123456789'.includes(serialized[0])) throw new Error(`Expected number, got "${serialized[0]}", initial "${initial}"`);