Use better UA

marzipankaiser · jiribenes · marzipankaiser · commit fb33d795712d · 2025-07-28T12:14:24.000+02:00
Co-authored-by: Jiří Beneš &lt;mail@jiribenes.com&gt;
diff --git a/libraries/common/io/requests.effekt b/libraries/common/io/requests.effekt
@@ -315,7 +315,7 @@ def uri(uri: String): Unit / { RequestBuilder, Exception[WrongFormat] } = {
 
 def defaultHeaders(): Unit / RequestBuilder = {
   if(internal::backend() != "js-web"){
-    do header("user-agent", "Effekt script / Script written in the Effekt language")
+    do header("User-Agent", "Effekt-io-requests/0.1.0")
   }
   // TODO should we add more?
 }

Original file line number	Diff line number	Diff line change
`@@ -315,7 +315,7 @@ def uri(uri: String): Unit / { RequestBuilder, Exception[WrongFormat] } = {`
`315`	`315`
`316`	`316`	`def defaultHeaders(): Unit / RequestBuilder = {`
`317`	`317`	`if(internal::backend() != "js-web"){`
`318`		`- do header("user-agent", "Effekt script / Script written in the Effekt language")`
	`318`	`+ do header("User-Agent", "Effekt-io-requests/0.1.0")`
`319`	`319`	`}`
`320`	`320`	`// TODO should we add more?`
`321`	`321`	`}`