adds control flow

MystenLabs · Mar 18, 2024 · 2e1e89d · 2e1e89d
1 parent cd1d800
commit 2e1e89d
Show file tree

Hide file tree

Showing 78 changed files with 1,148 additions and 6,600 deletions.
diff --git a/sui/404.html b/sui/404.html
diff --git a/sui/appendix/glossary.html b/sui/appendix/glossary.html
@@ -213,6 +213,22 @@ <h2 id="abilities"><a class="header" href="#abilities">Abilities</a></h2>
 
         </div>
 
+        <!-- Livereload script (if served using the cli tool) -->
+        <script>
+            const wsProtocol = location.protocol === 'https:' ? 'wss:' : 'ws:';
+            const wsAddress = wsProtocol + "//" + location.host + "/" + "__livereload";
+            const socket = new WebSocket(wsAddress);
+            socket.onmessage = function (event) {
+                if (event.data === "reload") {
+                    socket.close();
+                    location.reload();
+                }
+            };
+
+            window.onbeforeunload = function() {
+                socket.close();
+            }
+        </script>
 
 
 

diff --git a/sui/ayu-highlight.css b/sui/ayu-highlight.css
diff --git a/sui/basic-syntax/address.html b/sui/basic-syntax/address.html
@@ -254,6 +254,22 @@ <h2 id="conversion"><a class="header" href="#conversion">Conversion</a></h2>
 
         </div>
 
+        <!-- Livereload script (if served using the cli tool) -->
+        <script>
+            const wsProtocol = location.protocol === 'https:' ? 'wss:' : 'ws:';
+            const wsAddress = wsProtocol + "//" + location.host + "/" + "__livereload";
+            const socket = new WebSocket(wsAddress);
+            socket.onmessage = function (event) {
+                if (event.data === "reload") {
+                    socket.close();
+                    location.reload();
+                }
+            };
+
+            window.onbeforeunload = function() {
+                socket.close();
+            }
+        </script>
 
 
 

diff --git a/sui/basic-syntax/assert-and-abort.html b/sui/basic-syntax/assert-and-abort.html
@@ -264,6 +264,22 @@ <h2 id="further-reading"><a class="header" href="#further-reading">Further readi
 
         </div>
 
+        <!-- Livereload script (if served using the cli tool) -->
+        <script>
+            const wsProtocol = location.protocol === 'https:' ? 'wss:' : 'ws:';
+            const wsAddress = wsProtocol + "//" + location.host + "/" + "__livereload";
+            const socket = new WebSocket(wsAddress);
+            socket.onmessage = function (event) {
+                if (event.data === "reload") {
+                    socket.close();
+                    location.reload();
+                }
+            };
+
+            window.onbeforeunload = function() {
+                socket.close();
+            }
+        </script>
 
 
 

diff --git a/sui/basic-syntax/comments.html b/sui/basic-syntax/comments.html
@@ -280,6 +280,22 @@ <h2 id="doc-comment"><a class="header" href="#doc-comment">Doc comment</a></h2>
 
         </div>
 
+        <!-- Livereload script (if served using the cli tool) -->
+        <script>
+            const wsProtocol = location.protocol === 'https:' ? 'wss:' : 'ws:';
+            const wsAddress = wsProtocol + "//" + location.host + "/" + "__livereload";
+            const socket = new WebSocket(wsAddress);
+            socket.onmessage = function (event) {
+                if (event.data === "reload") {
+                    socket.close();
+                    location.reload();
+                }
+            };
+
+            window.onbeforeunload = function() {
+                socket.close();
+            }
+        </script>
 
 
 

diff --git a/sui/basic-syntax/constants.html b/sui/basic-syntax/constants.html
@@ -257,6 +257,22 @@ <h2 id="constants-are-immutable"><a class="header" href="#constants-are-immutabl
 
         </div>
 
+        <!-- Livereload script (if served using the cli tool) -->
+        <script>
+            const wsProtocol = location.protocol === 'https:' ? 'wss:' : 'ws:';
+            const wsAddress = wsProtocol + "//" + location.host + "/" + "__livereload";
+            const socket = new WebSocket(wsAddress);
+            socket.onmessage = function (event) {
+                if (event.data === "reload") {
+                    socket.close();
+                    location.reload();
+                }
+            };
+
+            window.onbeforeunload = function() {
+                socket.close();
+            }
+        </script>