chiark / gitweb /
Fix type of PreparedPieceState.held in the JS
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 18 Apr 2022 10:59:42 +0000 (11:59 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 18 Apr 2022 12:30:43 +0000 (13:30 +0100)
commitffe43d13e455abcefc290f0e25dd995ede7d98c2
treefe0b3758a848c28d9ff7411e7fcde14e336ce8f7
parent020084509d497b32c323f3bd800a9b204c2ca125
Fix type of PreparedPieceState.held in the JS

I was comparing the JS and Rust versions, and spotted this
discrepancy.

In fact it is assigned to internal fields and variables which are all
nullable, so there is no other code change needed.

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