src/document/refresh.h

   1 #ifndef EL__DOCUMENT_REFRESH_H
   2 #define EL__DOCUMENT_REFRESH_H
   3
   4 #include "main/timer.h" /* timer_id_T */
   5
   6 struct session;
   7 struct uri;
   8
   9 struct document_refresh {
  10         timer_id_T timer;
  11         unsigned long seconds;
  12         struct uri *uri;
  13         unsigned int restart:1;
  14 };
  15
  16 struct document_refresh *init_document_refresh(unsigned char *url, unsigned long seconds);
  17 void done_document_refresh(struct document_refresh *refresh);
  18 void kill_document_refresh(struct document_refresh *refresh);
  19 void start_document_refresh(struct document_refresh *refresh, struct session *ses);
  20
  21 #endif