void dbc_init(char* path, void (*dumpfn)(FILE*));
void dbc_require(bool success, char* text, char* file, int line);
void dbc_ensure(bool success, char* text, char* file, int line);
- void dbc_wdtkick(void);
#else
#define dbc_init(a,b) ((void)0)
#define dbc_require(a,b,c,d) ((void)0)
#define dbc_ensure(a,b,c,d) ((void)0)
- #define dbc_wdtkick() ((void)0)
#endif
}
}
-void dbc_wdtkick(void)
-{
- alarm(0); /* Cancel previous alarm */
- signal(SIGALRM, handle_signal);
- alarm(1); /* Start new alarm */
-}
-
#endif