# HG changeset patch
# User Jaroslav Hajek <highegg@gmail.com>
# Date 1262849501 -3600
# Node ID 897e62651c0adc8bc682c30a406b5ef69806e4e1
# Parent  c670c8be7f938bb75599f0feda0496250d231b08
correctly handle interrupts in pause()

diff -r c670c8be7f93 -r 897e62651c0a src/ChangeLog
--- a/src/ChangeLog	Thu Jan 07 08:29:02 2010 +0100
+++ b/src/ChangeLog	Thu Jan 07 08:31:41 2010 +0100
@@ -1,3 +1,7 @@
+2010-01-07  Jaroslav Hajek  <highegg@gmail.com>
+
+	* utils.cc (octave_sleep (double)): Add OCTAVE_QUIT.
+
 2010-01-06  Jaroslav Hajek  <highegg@gmail.com>
 
 	* unwind_protect.h, unwind_protect.cc (unwind_protect): Rewrite.
diff -r c670c8be7f93 -r 897e62651c0a src/utils.cc
--- a/src/utils.cc	Thu Jan 07 08:29:02 2010 +0100
+++ b/src/utils.cc	Thu Jan 07 08:31:41 2010 +0100
@@ -1344,6 +1344,8 @@
       // defined in cutils.c.
       octave_sleep (sec);
       octave_usleep (usec);
+
+      OCTAVE_QUIT;
     }
 }