client: Rename: set_send_alarm → set_resend_alarm

[tattlekey] / client / config.h

diff --git a/client/config.h b/client/config.h
index 5ce0baf9708f009a7069f3aca2ae738f614dd973..744e58626dc0b053b51ea74009ac4ab6da63f8a5 100644 (file)
--- a/client/config.h
+++ b/client/config.h
@@ -4,25 +4,28 @@
 #include "lwip/arch.h"
 
 /* Wi-Fi credentials */
-extern char wifi_ssid[];
-extern char wifi_pass[];
+extern char config_wifi_ssid[];
+extern char config_wifi_pass[];
 
 /* Network address of the server to contact */
-extern char tattle_server_ip_address[];
-extern u16_t tattle_port;
+extern char config_tattle_server_ip_address[];
+extern u16_t config_tattle_port;
 
 /* For distinguishing reports from multiple tattlekey devices. */
-extern u16_t this_tattler_identity;
+extern u16_t config_this_tattler_identity;
 
 /* 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. */
-extern uint button_pin;
+extern uint config_button_pin;
 
 /* Don't bother reporting each separate button press when it is pressed many
  * times in short succession.  (We also use this to de-bounce. :) */
-extern u32_t minimum_microseconds_between_button_presses;
+extern u32_t config_minimum_seconds_between_button_presses;
+
+/* Send each report multiple times. */
+extern uint config_resend_count;
 
 #endif