3 /* Wi-Fi credentials */
4 char config_wifi_ssid
[] = "THEWIFISSID";
5 char config_wifi_pass
[] = "THEWIFIPASSWORD";
7 /* Network address of the server to contact */
8 char config_tattle_server_ip_address
[] = "192.168.10.10";
9 u16_t config_tattle_port
= 29803; // 'tk'
11 /* For distinguishing reports from multiple tattlekey devices. */
12 u16_t config_this_tattler_identity
= 1;
14 /* Which GPIO pin is the button connected to?
15 * The button should span this pin and ground, connecting this pin to ground
17 * https://projects.raspberrypi.org/en/projects/introduction-to-the-pico/10
18 * recommends pins 18, 22, or 28. */
19 uint config_button_pin
= 18;
21 /* Don't bother reporting each separate button press when it is pressed many
22 * times in short succession. (We also use this to de-bounce. :) */
23 u32_t config_minimum_seconds_between_button_presses
= 1;
25 /* Send each report multiple times. */
26 uint config_resend_count
= 5;