Fix playground link

flux-rs · Jan 2, 2025 · b967534 · b967534
1 parent 28ef136
commit b967534
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 5 deletions.
diff --git a/README.md b/README.md
@@ -6,7 +6,7 @@
 
 # Online Demo
 
-You can try `flux` [online at this site](https://flux.programming.systems)
+You can try `flux` [online at this site](http://goto.ucsd.edu:8091/)
 
 # Overview
 

diff --git a/book/js/flux.js b/book/js/flux.js
@@ -1,5 +1,5 @@
 window.fetch = (originalFetch => {
-    const fluxPlayground = "https://flux.programming.systems/play.rust-lang.org";
+    const fluxPlayground = "http://goto.ucsd.edu:8091/play.rust-lang.org";
     return (url, options) => {
         const redirected = url.replace(/https:\/\/play.rust-lang.org/, fluxPlayground);
         return originalFetch(redirected, options);

diff --git a/book/src/README.md b/book/src/README.md
@@ -6,4 +6,4 @@ time.
 
 See the **examples**  -- listed in the summary on the left -- to learn about Refinement types and Rust.
 
-You can try it online [here](https://flux.programming.systems).
+You can try it online [here](http://goto.ucsd.edu:8091/).
diff --git a/book/src/blog/01-introducing-flux.md b/book/src/blog/01-introducing-flux.md
@@ -1,6 +1,6 @@
 # Introducing Flux
 
-[Online demo](https://flux.programming.systems/?example=refinements.rs)
+[Online demo](http://goto.ucsd.edu:8091/?example=refinements.rs)
 
 Types bring order to code. For example, if a variable `i:usize`
 then we know `i` is a number that can be used to index a vector.

diff --git a/book/src/blog/02-ownership.md b/book/src/blog/02-ownership.md
@@ -1,6 +1,6 @@
 # Ownership in Flux
 
-[Online demo](https://flux.programming.systems/?example=ownership.rs)
+[Online demo](http://goto.ucsd.edu:8091/?example=ownership.rs)
 
 [Previously][blog-intro] we saw how to refine basic Rust
 types like `i32` and `bool` with *indices* and *constraints* to
Original file line number	Diff line number	Diff line change
Expand Up		@@ -6,4 +6,4 @@ time.

		See the examples -- listed in the summary on the left -- to learn about Refinement types and Rust.

		You can try it online [here](https://flux.programming.systems).
		You can try it online [here](http://goto.ucsd.edu:8091/).