Server tool: the tcpShutdown feature now also stops other servers (web server and PostgreSQL server).
