File content as of revision 2:b802b30cc7d2:

#include "mbed.h"

void turnON();
void reboot();
void messdaten_count();
void set_time();
int set_app_time(unsigned long device_time);
void write_to_sd_log_single(char log_string[]);
void write_to_sd_messdaten_single(float buffer_temp, struct timestamp current);
void write_to_sd_messdaten_all(float *buffer_temp, struct timestamp *current);
void get_save_Messpunkt(float temperatur);
float get_Messwert();
int create_file_messdaten();
int create_file_log();
int min_max_avr();
int delete_file_messdaten();
int delete_file_log();
int file_copy(const char *src, const char *dst);
int load_user_config();
int load_standard_config();
int read_id();
int create_user_config(char params[]);
void led_blink(int led, int anzahl, int lang, int pause);
void error_handler(int error);
int check_devices();
void mess_handler();
int RTC_check();
void max14690_init();
void initCallback(void);
void init();

struct user_config_struct 
{
    int interval;
    int alert;
    int minimum;
    int maximum;
    int wait_mode;
    int pre_delay;
    int advertise;
    int connected;
};