commit bash-20121012 snapshot

2026-07-13 15:10:49 +02:00 · 2012-11-02 09:04:50 -04:00
parent 1562376007
commit 55a5a4acde
30 changed files with 23793 additions and 20 deletions
@@ -83,7 +83,9 @@ getc_with_restart (stream)
    {
      while (1)
 	{
-	  CHECK_TERMSIG;
+	  CHECK_TERMSIG;		/* XXX - QUIT? */
+	  run_pending_traps ();
+
 	  local_bufused = read (fileno (stream), localbuf, sizeof(localbuf));
 	  if (local_bufused > 0)
 	    break;