/* User prompt routine. 
This routine prompts the user to press the button and then waits for him to do so.  */
static void prompt_user(char *prompt_string)
/* User prompt routine. 
This routine prompts the user to press the button and then waits for him to do so.  */
static void prompt_user(char *prompt_string)
{
	printf("%s\r\n", prompt_string);
	LED_Off(ALL_LEDS);
	while (!SWITCH_PRESSED) {
		LED_Toggle(PROMPT_LED);
		delay_ms(100);
	}
	LED_Off(PROMPT_LED);
	while (SWITCH_PRESSED) {
	}
}