From cb22bd80d28750425101ad1f591aea045f762341 Mon Sep 17 00:00:00 2001
From: stephan
Date: Wed, 28 Sep 2022 17:52:52 +0000
Subject: [PATCH] More work on batch-runner.html/js to facilitate speed
comparisons between various VFSes and WebSQL.
FossilOrigin-Name: 3bd1bc240676e56da87fc49f3c67a1edc4fafcf2a2416298d19ae4f80b676a72
---
ext/wasm/batch-runner.html | 42 ++++++------
ext/wasm/batch-runner.js | 130 +++++++++++++++++++++++--------------
manifest | 14 ++--
manifest.uuid | 2 +-
4 files changed, 111 insertions(+), 77 deletions(-)
diff --git a/ext/wasm/batch-runner.html b/ext/wasm/batch-runner.html
index bac80f3459..a07fe930ac 100644
--- a/ext/wasm/batch-runner.html
+++ b/ext/wasm/batch-runner.html
@@ -41,25 +41,27 @@
SQL statements, and not used within string literals or the like.
-