K 10
svn:author
V 6
archie
K 8
svn:date
V 27
2001-03-16T01:20:02.000000Z
K 7
svn:log
V 745
This patch fixes a scheduling bug and is to be incorporated in the
next version. In the meantime, apply with the port.

FYI, the bug is demonstrated by this program:

#include <stdio.h>
#include <stdlib.h>
#include <pth.h>
static int check_something(void *arg)
{
        return (0);
}
static void *thread(void *arg)
{
        printf("thread sleeping five seconds...\n");
        pth_nap(pth_time(5, 0));
        printf("thread is done sleeping\n");	/* bug: we never get here */
        return (NULL);
}
int main(int ac, char **av)
{
        pth_event_t ev;
        pth_init();
        pth_spawn(NULL, thread, NULL);
        ev = pth_event(PTH_EVENT_FUNC, check_something, NULL, pth_time(2, 0));
        while (1)
                pth_wait(ev);
}

END