Is Moogle down?

Stream: general

[Markus de Medeiros]

Seems that every query I make to moogle this morning says "Failed to fetch search results". I've tried on a few different browsers, is this happening for anyone else?

[Mario Carneiro]

cc: @Jesse Michael Han

[Yan Yablonovskiy]

Markus de Medeiros said:

Seems that every query I make to moogle this morning says "Failed to fetch search results". I've tried on a few different browsers, is this happening for anyone else?

Seems to be happening for me too, at the very least.

[Edward van de Meent]

this was also noticed in the discord yesterday (i.e. about 20 hrs ago)

[Kevin Buzzard]

Try leansearch.net instead?

[Jesse Michael Han]

hey y'all, sorry about the outage - just fixed and it should be working now

[Markus de Medeiros]

Thanks for the quick fix!