/*
 * config.h: compilation config file
 * Edit as needed.
 */

#ifndef CONFIG_H
#define CONFIG_H

#include <stdint.h>
#include <time.h>

extern const int cfg_log_facility;
extern const char cfg_log_ident[];
extern const int cfg_log_opt;

extern const char cfg_trie_file[];
extern const char cfg_task_file[];
extern const char cfg_socket[];

extern const uint32_t cfg_sock_maxclients;
extern const uint64_t cfg_var_name_max_len;

extern const clockid_t cfg_clockid;

extern const char cfg_safe_string[];

#endif