Revision e428bb7e
ID | e428bb7eaea14adc66374b704049c6e2123a9589 |
Parent | 384f1be7 |
Child | 906f824b |
cluster: Rename destroy() to kill(signal=SIGTERM)
Fix #4133, bringing the cluster worker API more in line with the
child process API.
Files
- added
- modified
- copied
- renamed
- deleted