Dispatch properly for the UA on jsweb

marzipankaiser · marzipankaiser · commit bb07dc19b95c · 2025-07-28T17:47:43.000+02:00
diff --git a/libraries/common/io/requests.effekt b/libraries/common/io/requests.effekt
@@ -467,7 +467,9 @@ def uri(uri: String): Unit / { RequestBuilder, Exception[WrongFormat] } = {
 }
 
 def defaultHeaders(): Unit / RequestBuilder = {
-  if(internal::backend() != "js-web"){
+  internal::ifJSWeb{
+    () // do not set a user agent
+  }{
     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
`@@ -467,7 +467,9 @@ def uri(uri: String): Unit / { RequestBuilder, Exception[WrongFormat] } = {`
`467`	`467`	`}`
`468`	`468`
`469`	`469`	`def defaultHeaders(): Unit / RequestBuilder = {`
`470`		`- if(internal::backend() != "js-web"){`
	`470`	`+ internal::ifJSWeb{`
	`471`	`+ () // do not set a user agent`
	`472`	`+ }{`
`471`	`473`	`do header("User-Agent", "Effekt-io-requests/0.1.0")`
`472`	`474`	`}`
`473`	`475`	`// TODO should we add more?`