From decebd0dd274c7eaff6df0fed94816e3598df64e Mon Sep 17 00:00:00 2001
From: Brad Nelson <flagxor@gmail.com>
Date: Sun, 18 Jun 2023 21:44:06 -0700
Subject: [PATCH] Fix bug.

---
 web/platform.fs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/web/platform.fs b/web/platform.fs
index d7f0573..3c5d2f4 100644
--- a/web/platform.fs
+++ b/web/platform.fs
@@ -916,7 +916,7 @@ JSWORD: http-download { url url_n name name_n session done -- }
   request.open('GET', context.GetRawString(u8, url, url_n));
   var key = context.GetRawString(u8, name, name_n);
   request.onload = function(e) {
-    if (request.state == 200) {
+    if (request.status == 200) {
       var bytes = new Uint8Array(request.response);
       var data = context.GetRawString(bytes, 0, bytes.byteLength);
       if (session) {
@@ -940,7 +940,7 @@ JSWORD: raw-http-upload { data data_n url url_n done -- }
   var request = new XMLHttpRequest();
   request.open('POST', context.GetRawString(u8, url, url_n));
   request.onload = function(e) {
-    if (request.state == 200) {
+    if (request.status == 200) {
       i32[done] = 0;
     } else {
       i32[done] = 1;