Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
online restart (-R) broken #113
with 1.7.1 the -R online restart feature seems to be broken:
... and the process is gone.
On IRC I got the report that this is a regression in 1.7.1, i.e. 1.7 worked fine, but I haven't verified this.
master fixes the problem, thanks!
I had some trouble extracting the diff to the last release from git because "git diff --submodule" isn't helpful at all there, so I had to manually extract it. Could you make a new release for this fix? TIA.