def child_kill(self):
		if self._child:
			child, self._child = self._child, None
			self._child_gc.add(child.pid)
			try: child.kill() # no need to be nice here
			except __HOLE__ as err:
				log.debug('child_kill error: %s', err)
		else:
			log.debug('child_kill invoked with no child around')
dataset/ETHPy150Open mk-fg/pulseaudio-mixer-cli/pa-mixer-mk2.py/PAMixerDBusBridge.child_kill