| iMatix home page | << | < | > | >> |
SMT Version 2.81 |
#include "smtlib.h" void recycle_module (Bool wanted)
Tells the SMT kernel to repeat the current action module. This is a simple way to re-attempt an i/o that returned a 'EAGAIN' or 'EWOULDBLOCK' code. The lazy file access functions automatically call this function in case they failed. If you call this function with the wanted argument as FALSE, any previous recycle request is cancelled.
{ #if (defined (SMT_TRACE)) trace ("recycle_module"); #endif if (wanted) break_wanted = BREAK_RECYCLE; else break_wanted = BREAK_CONTINUE; }
| << | < | > | >> | Copyright © 1996-99 iMatix Corporation |