Stream: zulip

Topic: Search broken?

Tatsuyuki Ishi (Oct 01 2019 at 01:37, on Zulip):

I tried to search for "coz" and it didn't show any results, despite a conversation actually existing. Searching for "coz-profiler" gave 0 results either.

Is there any condition to be satisfied to be able to hit something with a search? Or is the search index not working as intended?

pnkfelix (Oct 01 2019 at 09:09, on Zulip):

Odd, searching for "coz" and "coz-profiler" worked for me. I did have to delete the pre-filled text in the search query text box (in this case, the prefill was "stream:zulip") in order to generalize the search to go across all streams. What did your search query text box look like, did it have any other content besides "coz" or "coz-profiler" ?

XAMPPRocky (Oct 01 2019 at 09:26, on Zulip):

@pnkfelix I can also reproduce this. You can see I'm subscribed to the the stream mentioned but I only see this topic. Screenshot-2019-10-01-at-11.25.10.png

pnkfelix (Oct 01 2019 at 09:40, on Zulip):


pnkfelix (Oct 01 2019 at 09:40, on Zulip):

I guess file a Zulip bug?

pnkfelix (Oct 01 2019 at 09:41, on Zulip):

It certainly seems to me like a bug, at least

pnkfelix (Oct 01 2019 at 09:42, on Zulip):

it might be good to somehow snapshot the current working state of Zulip's various files, so that you can do experiments with e.g. clearing caches and whatnot. But I don't know enough about Zulip's inner workings to advise on how to do that.

davidtwco (Oct 01 2019 at 09:53, on Zulip):

This is interesting. I’ve not seen anything like that happen before. Could you confirm that you’ve not muted the relevant stream or topic in the stream? - I don’t know if that would make a difference. I’d file a Zulip bug (if you mention it’s from the rust community then they’ll label it as such)

Tatsuyuki Ishi (Oct 01 2019 at 14:01, on Zulip):

I do not have any notification settings override. (The only thing is that I have subscribed to wg-self-profile only recently.) I will file a bug when I have time unless you beat it to me.

pnkfelix (Oct 01 2019 at 14:12, on Zulip):

(i'm not prepared to file a bug since I have not replicated the problem. Or maybe that was directed at @XAMPPRocky ; but in any case, yes I do recommend you file a bug.)

Last update: Jul 02 2020 at 19:35UTC