Merge pull request #253 from roc-lang/update-to-basic-ws-0-13-1

Anton-4 · web-flow · commit 738b08558c65 · 2026-01-13T12:03:34.000+01:00
update to basic ws 0.13.1
diff --git a/examples/ElmWebApp/backend.roc b/examples/ElmWebApp/backend.roc
@@ -1,5 +1,5 @@
 app [Model, init!, respond!] {
-    web: platform "https://github.com/roc-lang/basic-webserver/releases/download/0.13.0/fSNqJj3-twTrb0jJKHreMimVWD7mebDOj0mnslMm2GM.tar.br",
+    web: platform "https://github.com/roc-lang/basic-webserver/releases/download/0.13.1/7P4PF5rntQVkys5JbIHqkMpZIXo-pxa5lVqOdh7z8fE.tar.br",
 }
 
 import web.Stdout
diff --git a/examples/HelloWeb/main.roc b/examples/HelloWeb/main.roc
@@ -1,4 +1,4 @@
-app [Model, init!, respond!] { web: platform "https://github.com/roc-lang/basic-webserver/releases/download/0.13.0/fSNqJj3-twTrb0jJKHreMimVWD7mebDOj0mnslMm2GM.tar.br" }
+app [Model, init!, respond!] { web: platform "https://github.com/roc-lang/basic-webserver/releases/download/0.13.1/7P4PF5rntQVkys5JbIHqkMpZIXo-pxa5lVqOdh7z8fE.tar.br" }
 
 import web.Stdout
 import web.Http exposing [Request, Response]

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	`app [Model, init!, respond!] {`
`2`		`- web: platform "https://github.com/roc-lang/basic-webserver/releases/download/0.13.0/fSNqJj3-twTrb0jJKHreMimVWD7mebDOj0mnslMm2GM.tar.br",`
	`2`	`+ web: platform "https://github.com/roc-lang/basic-webserver/releases/download/0.13.1/7P4PF5rntQVkys5JbIHqkMpZIXo-pxa5lVqOdh7z8fE.tar.br",`
`3`	`3`	`}`
`4`	`4`
`5`	`5`	`import web.Stdout`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-app [Model, init!, respond!] { web: platform "https://github.com/roc-lang/basic-webserver/releases/download/0.13.0/fSNqJj3-twTrb0jJKHreMimVWD7mebDOj0mnslMm2GM.tar.br" }`
	`1`	`+app [Model, init!, respond!] { web: platform "https://github.com/roc-lang/basic-webserver/releases/download/0.13.1/7P4PF5rntQVkys5JbIHqkMpZIXo-pxa5lVqOdh7z8fE.tar.br" }`
`2`	`2`
`3`	`3`	`import web.Stdout`
`4`	`4`	`import web.Http exposing [Request, Response]`