jubatus/jubatus — pull request #732 by suma (2014-03-25 07:56:09+00:00)
Title: Fix jubatus servers to stop mixer before RPC server stopped

Move mixer::stop() call into server_helper::stop().
I added log output for stopping mixer.
This PR fixes #730.