version 1.75, 1998/10/26 22:45:34
|
version 1.76, 1998/10/27 17:42:53
|
Line 1004 PUBLIC void Serving_queue(Robot *mr)
|
Line 1004 PUBLIC void Serving_queue(Robot *mr)
|
|
|
HTRequest_setParent(newreq,get_last_parent(nhd->anchor)); |
HTRequest_setParent(newreq,get_last_parent(nhd->anchor)); |
|
|
|
/* @@@ Should be done using a timer and not sleep! @@@ */ |
|
#if 0 |
if(mr->waits) |
if(mr->waits) |
sleep(mr->waits); |
sleep(mr->waits); |
|
#endif |
|
|
if (HTLoadAnchor((HTAnchor *)nhd->anchor , newreq) != YES) |
if (HTLoadAnchor((HTAnchor *)nhd->anchor , newreq) != YES) |
{ |
{ |