Davide Scaini
69571c1306
micropip requires the full PEP 427 wheel filename (name-version-py-abi-plat.whl) — writing the file as bincio.whl caused InvalidWheelFilename. The wheel URL from /api/wheel/version now provides the basename; it flows through fetchWheelBase64 → extractFile → WebView where the file is written with the correct name and _wheel_path is set as a Pyodide global before PY_INSTALL_WHEEL runs.
84 lines
2.4 KiB
TypeScript
84 lines
2.4 KiB
TypeScript
import { createRef } from 'react';
|
|
import type WebView from 'react-native-webview';
|
|
import type { WebViewMessageEvent } from 'react-native-webview';
|
|
|
|
export type ExtractionResult = {
|
|
id: string;
|
|
detail: object;
|
|
timeseries: object | null;
|
|
geojson: object | null;
|
|
sourceHash: string;
|
|
};
|
|
|
|
type Pending = {
|
|
resolve: (r: ExtractionResult) => void;
|
|
reject: (e: Error) => void;
|
|
onStatus: (msg: string) => void;
|
|
};
|
|
|
|
export const pyodideRef = createRef<WebView>();
|
|
|
|
const pending = new Map<string, Pending>();
|
|
let reqCounter = 0;
|
|
let isExtracting = false;
|
|
|
|
export function handleWebViewMessage(e: WebViewMessageEvent): void {
|
|
let msg: Record<string, unknown>;
|
|
try { msg = JSON.parse(e.nativeEvent.data); } catch { return; }
|
|
|
|
const reqId = msg.reqId as string | undefined;
|
|
const p = reqId ? pending.get(reqId) : undefined;
|
|
|
|
switch (msg.type) {
|
|
case 'result':
|
|
if (p) {
|
|
pending.delete(reqId!);
|
|
p.resolve({
|
|
id: msg.id as string,
|
|
detail: msg.detail as object,
|
|
timeseries: (msg.timeseries as object | null) ?? null,
|
|
geojson: (msg.geojson as object | null) ?? null,
|
|
sourceHash: msg.sourceHash as string,
|
|
});
|
|
}
|
|
break;
|
|
case 'error':
|
|
if (p) {
|
|
pending.delete(reqId!);
|
|
p.reject(new Error(msg.message as string));
|
|
}
|
|
break;
|
|
case 'progress':
|
|
p?.onStatus(msg.msg as string);
|
|
break;
|
|
}
|
|
}
|
|
|
|
// wheelBase64 is the bincio .whl file pre-fetched by the React Native side
|
|
// (native networking supports HTTP on local network; WKWebView does not).
|
|
export function extractFile(
|
|
filename: string,
|
|
base64: string,
|
|
wheelBase64: string,
|
|
wheelFilename: string,
|
|
onStatus: (msg: string) => void = () => {},
|
|
): Promise<ExtractionResult> {
|
|
if (isExtracting) return Promise.reject(new Error('Another extraction is already in progress'));
|
|
|
|
const webview = pyodideRef.current;
|
|
if (!webview) return Promise.reject(new Error('Extraction engine not ready — restart the app'));
|
|
|
|
isExtracting = true;
|
|
const reqId = String(++reqCounter);
|
|
const args = JSON.stringify({ reqId, filename, base64, wheelBase64, wheelFilename });
|
|
|
|
return new Promise<ExtractionResult>((resolve, reject) => {
|
|
pending.set(reqId, {
|
|
resolve: (r) => { isExtracting = false; resolve(r); },
|
|
reject: (e) => { isExtracting = false; reject(e); },
|
|
onStatus,
|
|
});
|
|
webview.injectJavaScript(`window._bincioExtract(${args}); true;`);
|
|
});
|
|
}
|