Skip to content

Commit

Permalink
[display] server/type: only restore hxb headers
Browse files Browse the repository at this point in the history
  • Loading branch information
kLabz committed Jan 22, 2024
1 parent 4ed30fa commit 1189e3a
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions src/context/display/displayJson.ml
Original file line number Diff line number Diff line change
Expand Up @@ -353,8 +353,7 @@ let handler =
let typeName = hctx.jsonrpc#get_string_param "typeName" in
let cc = hctx.display#get_cs#get_context sign in
let m = try
(* TODO: try with headers only *)
find_module ~headers_only:false hctx.com cc path
find_module ~headers_only:true hctx.com cc path
with Not_found ->
hctx.send_error [jstring "No such module"]
in
Expand Down

0 comments on commit 1189e3a

Please sign in to comment.