crash on search and replace

Stream: lean4

[Floris van Doorn]

One thing I've noticed on v4.9.0 is that search and replace across the repository often crashes the Lean server. Here are example instructions to reproduce: lean4#4435. Does this happens for others not using Windows?

[Utensil Song]

It happens to me on v4.8.0-rc1 on Mac too, when batch replacing std to batteries.

[Floris van Doorn]

Oh ok, thanks! I thought this was new since v4.9.0.

[Notification Bot]

3 messages were moved here from #general > v4.9.0-rc1 discussion by Floris van Doorn.

[Floris van Doorn]

In that case, let's start a new topic.

[Yaël Dillies]

Yeah this happens every single time I do a search and replace

[Utensil Song]

Yes, I was able to reproduce stably, too.

[Marc Huisinga]

Thanks, I know what the issue is.