ab19bfe7_hpStorm_9_0_0_Help____Terminal__Description
[Item] Close session when it ends [Description] 
If this check box is selected, the current session ends automatically, when the corresponding process ends (by kill, by pressing Ctrl+D, etc.)
PhpStorm 9.0.0 Help :: Terminal