commit bash-20141226 snapshot

shell.c

@@ -911,10 +911,13 @@ exit_shell (s)
   fflush (stdout);		/* XXX */
   fflush (stderr);
 
+  /* Clean up the terminal if we are in a state where it's been modified. */
 #if defined (READLINE)
   if (RL_ISSTATE (RL_STATE_TERMPREPPED) && rl_deprep_term_function)
     (*rl_deprep_term_function) ();
 #endif
+  if (read_tty_modified ())
+    read_tty_cleanup ();
 
   /* Do trap[0] if defined.  Allow it to override the exit status
      passed to us. */