playmidi-hertz.patch

   1 --- playmidi-2.3/playevents.c.consthertz        Sat Feb 24 09:00:00 1996
   2 +++ playmidi-2.3/playevents.c   Mon Sep  2 12:07:27 1996
   3 @@ -15,6 +15,7 @@
   4   *************************************************************************/
   5  #include "playmidi.h"
   6  #include <sys/time.h>
   7 +#include <sys/param.h>        /* to get "HZ" defined */
   8
   9  extern int seq_set_patch(int, int);
  10  extern void seq_key_pressure(int, int, int, int);
  11 @@ -153,7 +154,8 @@
  12                 if (dtime > 4096.0)
  13                     playing = 0;
  14                 else if ((int) current > ticks) {
  15 -                   SEQ_WAIT_TIME((ticks = (int) current));
  16 +                   /* our ticks are 100/sec, so convert to hardware jiffies */
  17 +                   SEQ_WAIT_TIME(((ticks = (int) current)*HZ)/100);
  18                     SEQ_DUMPBUF();
  19                     if (graphics)
  20                         if ((play_status = updatestatus()) != NO_EXIT)