#include "config.h"

/* Wi-Fi credentials */
char config_wifi_ssid[] = "THEWIFISSID";
char config_wifi_pass[] = "THEWIFIPASSWORD";

/* Network address of the server to contact */
char config_tattle_server_ip_address[] = "192.168.10.10";
u16_t config_tattle_port = 29803; // 'tk'

/* For distinguishing reports from multiple tattlekey devices. */
u16_t config_this_tattler_identity = 1;

/* Which GPIO pin is the button connected to?
 * The button should span this pin and ground, connecting this pin to ground
 * when pressed.
 * https://projects.raspberrypi.org/en/projects/introduction-to-the-pico/10
 * recommends pins 18, 22, or 28. */
uint config_button_pin = 18;

/* Don't bother reporting each separate button press when it is pressed many
 * times in short succession.  (We also use this to de-bounce. :) */
u32_t config_minimum_seconds_between_button_presses = 1;

/* Send each report multiple times. */
uint config_resend_count = 5;