tree 5fe391ea138fe23796aa466261dfad93a3e246fe
parent 6fcf115d02461540b1abde92d26a010a6ba978a3
author Tobias Henkel <tobias.henkel@bmw.de> 1504604247 +0200
committer Tobias Henkel <tobias.henkel@bmw.de> 1504604631 +0200

Close command socket after sending stop

After sending the stop signal to the command socket it should be
closed explicitly. Otherwise a resource warning [1] is emitted to
stderr.

[1]: Resource warning:

(...)/zuul/executor/server.py:644: ResourceWarning: unclosed <socket.socket fd=24, family=AddressFamily.AF_UNIX, type=SocketKind.SOCK_STREAM, proto=0, raddr=(...)/executor.socket>
  self.command_socket.stop()

Change-Id: I0e85ea9f5021e329abf825afbd8e29d134c08669