enable shutdown again

main.c

@@ -827,7 +827,6 @@ void main(void)
 					}
 					printf("incrementing to take %u\n", numbers[1].number);
 				}
-#if 0
 				timer_disable_counter(TIM(BUZZER_TIMER)); // stop buzzing
 				led_max7219_off(0xff); // switch off MAX7219 displays
 				for (uint8_t tm1637=0; tm1637<7; tm1637++) { // switch off TM1637 displays
@@ -838,7 +837,6 @@ void main(void)
 				SCB_SCR |= SCB_SCR_SLEEPDEEP; // enable deep sleep
 				pwr_set_standby_mode(); // go to deep sleep
 				while (true); // we should be shut down at this point
-#endif
 			}
 			if (rtc_seconds>=60) { // one minute passed
 				rtc_ds1307_time = rtc_ds1307_read_time(); // get time/date from external RTC