It’s something we’ve been considering changing for all the servers. We have them out of fear of processes getting wedged, but I don’t think we’ve observed that in any recent version.
a
Andrea Giardini
01/19/2022, 4:40 PM
I think it would be a good idea. Happy to submit a PR if needed