On Mon, Aug 01, 2016 at 11:28:48PM +0200, Olivier Doucet wrote: > If I remember correctly, it happens when I removed a server and add another > one. But I'm 100% sure that they had different names. I'm sure because I > always get warnings from reload, because ID did not match (BTW, it would be > great to find a way to set id on server to avoid this). > > Will get back to you tomorrow with a working example I hope. But you > already found two ways to get segfault, not so bad ;)
Olivier, please use 1.6.7, there was a bug in the dump in 1.6.5 causing some incorrect data to be dumped sometimes (don't remember exactly what), but while I doubt it is related, at least it can needlessly complicate your troubleshooting. Regards, willy
