properly shutdown zmq socket#505

Merged

AionJayT merged 1 commit intomaster-pre-mergefrom api_shutdown

Jun 13, 2018

+56-53

Commits on May 24, 2018

fix javaapi doesn't shutdown properly and revise some wording in the shutdown log
AionJayT
committed