shithub: puzzles

Download patch

ref: 77866e1335bd1ea7189f11c19ff2947be17aa517
parent: 56ef86f92b77412bfe27d7206d25b323475e71fe
author: Ian Jackson <ijackson@chiark.greenend.org.uk>
date: Thu Apr 22 15:20:32 EDT 2021

wasm/js/emscripten: Fix page loading race

Using a stunt webserver which artificially introduces a 3s delay just
before the last line of the HTML output, I have reproduced a
uwer-reported loading/startup race bug:

Previously the wasm loading was started by the <script> element,
synchronously. If the wasm loading is fast, and finishes before the
HTML loading, the onRuntimeInitialized event may occur before
initPuzzles.  But initPuzzles sets up the event handler.

Fix this bug, and introduce a new comment containing an argument for
the correctness of the new approach.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>