Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-05-17 06:39:47 -0700 (Tue, 17 May 2005)
Revision: 1030
Log message:

      Omake_exec_notify.handle: do not go into Omake_notify.next_event unless
      Omake_notify.pending is true.
      

Changes	Path
+1 -1	omake/src/exec/omake_exec_notify.ml