value of js.auto_terminate (e.g. the irc.js could not restore the original
value, thus re-enabling auto-terminate upon exit of the IRC client).