Zulip Chat Archive
Stream: general
Topic: Is Moogle down?
Markus de Medeiros (Nov 04 2024 at 15:26):
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 (Nov 04 2024 at 15:29):
cc: @Jesse Michael Han
Yan Yablonovskiy (Nov 04 2024 at 15:29):
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 (Nov 04 2024 at 15:30):
this was also noticed in the discord yesterday (i.e. about 20 hrs ago)
Kevin Buzzard (Nov 04 2024 at 17:27):
Try leansearch.net instead?
Jesse Michael Han (Nov 04 2024 at 22:56):
hey y'all, sorry about the outage - just fixed and it should be working now
Markus de Medeiros (Nov 05 2024 at 03:05):
Thanks for the quick fix!
Last updated: May 02 2025 at 03:31 UTC