#include "frescan.h" // frescan_node_t, _prio_t, _budget_t
#include "frescan_config.h" // FRESCAN_MLOCK_T, FRESCAN_MX_XXX
#include "frescan_packets.h" // frescan_packet_t
-#include "frescan_servers_replenishments.h" // frescan_repl_op_t
/**
* frescan_repl_op_t - a replenishment operation
* @repl_list: the list of pending replenishment operations
* @repl_timer: the timer for the replenishments associated to this server
* NOTE: we could use a single timer for all but for now this is simpler
+ * @act_time: the last activation time for the server
* @packet_list: the packets enqueued on this server
+ * @servers_list: the list of servers
*/
typedef struct {
frescan_budget_t pending_packets;
frescan_repl_op_t replenishments;
timer_t repl_timer;
+ struct timespec act_time;
frescan_packet_t packet_list;
struct list_head servers_list;
} frescan_server_data_t;