Skip to content

Commit

Permalink
main
Browse files Browse the repository at this point in the history
  • Loading branch information
@Vaishnav-Sabari-Girish
Vaishnav-Sabari-Girish committed Dec 24, 2024
1 parent 2185ac9 commit 1797316
Show file tree
Hide file tree
Showing 9 changed files with 0 additions and 144 deletions.
16 changes: 0 additions & 16 deletions book/404.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -173,22 +173,6 @@ <h1 id="document-not-found-404"><a class="header" href="#document-not-found-404"

</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>



Expand Down
16 changes: 0 additions & 16 deletions book/chapter_1.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -322,22 +322,6 @@ <h3 id="gum"><a class="header" href="#gum"><code>gum</code></a></h3>

</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>



Expand Down
16 changes: 0 additions & 16 deletions book/chapter_2.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -291,22 +291,6 @@ <h4 id="note--1"><a class="header" href="#note--1"><strong><strong>NOTE</strong>

</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>



Expand Down
16 changes: 0 additions & 16 deletions book/chapter_3.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -229,22 +229,6 @@ <h2 id="install-libraries"><a class="header" href="#install-libraries">Install L

</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>



Expand Down
16 changes: 0 additions & 16 deletions book/chapter_4.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -213,22 +213,6 @@ <h1 id="chapter-4--how-to-use-aci-part-3"><a class="header" href="#chapter-4--ho

</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>



Expand Down
16 changes: 0 additions & 16 deletions book/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -233,22 +233,6 @@ <h3 id="the-arduino-cli-command-line-interface"><a class="header" href="#the-ard

</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>



Expand Down
16 changes: 0 additions & 16 deletions book/intro.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -233,22 +233,6 @@ <h3 id="the-arduino-cli-command-line-interface"><a class="header" href="#the-ard

</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>



Expand Down
16 changes: 0 additions & 16 deletions book/print.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -576,22 +576,6 @@ <h2 id="install-libraries"><a class="header" href="#install-libraries">Install L

</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>



Expand Down
16 changes: 0 additions & 16 deletions book/ty.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -197,22 +197,6 @@ <h1 id="thank-you"><a class="header" href="#thank-you">Thank you</a></h1>

</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>



Expand Down

0 comments on commit 1797316

Please sign in to comment.