[PATCH 1/2] server/console: when a Unix process group leader terminates, disconnect the console