2005-09-15 09:58:31 -04:00
|
|
|
#ifndef EL__DOCUMENT_REFRESH_H
|
|
|
|
#define EL__DOCUMENT_REFRESH_H
|
|
|
|
|
|
|
|
#include "main/timer.h" /* timer_id_T */
|
|
|
|
|
2020-10-05 14:14:55 -04:00
|
|
|
#ifdef __cplusplus
|
|
|
|
extern "C" {
|
|
|
|
#endif
|
|
|
|
|
2005-09-15 09:58:31 -04:00
|
|
|
struct session;
|
|
|
|
struct uri;
|
|
|
|
|
|
|
|
struct document_refresh {
|
|
|
|
timer_id_T timer;
|
|
|
|
unsigned long seconds;
|
|
|
|
struct uri *uri;
|
|
|
|
unsigned int restart:1;
|
|
|
|
};
|
|
|
|
|
2021-01-02 10:20:27 -05:00
|
|
|
struct document_refresh *init_document_refresh(char *url, unsigned long seconds);
|
2005-09-15 09:58:31 -04:00
|
|
|
void done_document_refresh(struct document_refresh *refresh);
|
|
|
|
void kill_document_refresh(struct document_refresh *refresh);
|
2007-09-06 14:37:17 -04:00
|
|
|
void start_document_refreshes(struct session *ses);
|
2005-09-15 09:58:31 -04:00
|
|
|
|
2020-10-05 14:14:55 -04:00
|
|
|
#ifdef __cplusplus
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
|
2005-09-15 09:58:31 -04:00
|
|
|
#endif
|