anil.recoil.org
Zulip bots with Eio
Fix channel name encoding in Zulip get_id
Use params parameter instead of manually constructing query string in
path. The Client.request function properly handles URL encoding via
Uri.add_query_param', which correctly encodes spaces and special
characters in channel names like "Black Sun".
Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
+2
-2
+2
-2
lib/zulip/channels.ml
+2
-2
lib/zulip/channels.ml
···
44
44
Error.decode_or_raise streams_codec json "parsing channels list"
45
45
46
46
let get_id client ~name =
47
-
let encoded_name = Uri.pct_encode name in
48
47
let response_codec =
49
48
Jsont.Object.(
50
49
map ~kind:"StreamIdResponse" Fun.id
···
53
52
in
54
53
let json =
55
54
Client.request client ~method_:`GET
56
-
~path:("/api/v1/get_stream_id?stream=" ^ encoded_name)
55
+
~path:"/api/v1/get_stream_id"
56
+
~params:[("stream", name)]
57
57
()
58
58
in
59
59
Error.decode_or_raise response_codec json