#include "config.h" /* Wi-Fi credentials */ char wifi_ssid[] = "THEWIFISSID"; char wifi_pass[] = "THEWIFIPASSWORD"; /* Network address of the server to contact */ char tattle_server_ip_address[] = "192.168.10.10"; u16_t tattle_port = 29803; // 'tk' /* For distinguishing reports from multiple tattlekey devices. */ u16_t 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 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 minimum_microseconds_between_button_presses = 1000000; /* Send each report multiple times. */ uint resend_count = 5; u32_t resend_interval_ms = 1000;