Method init

source/python.js:9775–9788

()

                this.init();
            }
            init() {
                let stream = null;
                if (this.has_record('.data/version')) {
                    stream = this.get_record('.data/version');
                } else if (this.has_record('version')) {
                    stream = this.get_record('version');
                }
                if (stream) {
                    const decoder = new TextDecoder('utf-8');
                    const buffer = stream.peek();
                    const text = decoder.decode(buffer);
                    this._version = Number(text.split('\n').shift().trim());
                }
            }
            has_record(name) {
                return this._records.has(name);
            }