/* Shows the current time (HH:MM:SS) on the Hyperterminal.  */
void Time_Show(void)
/* Shows the current time (HH:MM:SS) on the Hyperterminal.  */
void Time_Show(void)
{
  printf("\n\r");
  while (1)
  {
    if (TimeDisplay == 1)
    {
      Time_Display(RTC_GetCounter());
      TimeDisplay = 0;
    }
  }
}