unison
unison copied to clipboard
Codebase server: Requesting the `Void` type in the `/find` endpoint hangs
Searching for the string Void in the Find feature seems to spin forever.
Scrolling down to the Void type on the left nav bar and clicking it results in an entry in the content pane that looks like it's loading. It takes a minute or so to fail with an error. UCM is totally unresponsive while this is happening.
A query to the API like api/getDefinitions?names=Void responds normally and quickly.
Yeah GET /api/find?query=void instantly causes this - very strange.
GET /api/find?query=failu also causes this.
This seems to have been miraculously fixed. Perhaps we'll never know how...
Tested on Unison Share.
This behavior seems to still happen for things like this.
Here's the Generic type: https://share.unison-lang.org/latest/types/@4bmfrnjpg2giq9kv7bsvmsb37u0dt4a925i570da1qvga6u81t9jstnd3t24lmvfl7hd55j703bshg32bsj27edcomilu2nctp1kgn0
Results in servers being bounced and returns a 502 as that happens—i'm assuming the ucm instance crashes.
cc @pchiusano @runarorama