The problem was fixed and we are back up. We are running the server in debug mode for now, to catch assertions and have faster turn-a-rounds on bugs like this. That means queries will be somewhat slower. The load on the server is pretty low however, so I don't expect any serious performance implications for most users.
Best, Patrick On Thu, Dec 10, 2015 at 5:42 PM, Patrick Niklaus <[email protected]> wrote: > Hey! > > looks like a PR that was merged into develop is currently causing > segmentation faults from time to time. I'm currently investigating and > as such the server will have some mixed uptime today. > > Cheers, > Patrick _______________________________________________ OSRM-talk mailing list [email protected] https://lists.openstreetmap.org/listinfo/osrm-talk
