|
| iMatix home page | << | < | > | >> |
SMTVersion 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;
}
| | << | < | > | >> |
|