cluster: Rename destroy() to kill(signal=SIGTERM)
Fix #4133, bringing the cluster worker API more in line with the child process API.
parent
384f1be7
Please register or sign in to comment
Fix #4133, bringing the cluster worker API more in line with the child process API.