Agora, como você não informou qual terminal estava usando, não posso ter certeza, mas O terminal provavelmente está enviando um SIGTERM ou algo diferente em vez de um SIGHUP quando está fechado. Três coisas a fazer são ler a man page do emulador de terminal, tentar um emulador de terminal diferente e fazer um relatório de bug no emulador de terminal.
P.S. Qual emulador de terminal você está usando?