DS3231 with RTClibExtended.h : unable to serial print time

jremington:
I don't see anything obviously wrong with the non-working code. The RTC could be stopped, so make sure it is running when you use it.

BTW the ", DEC" modifiers are not needed in the print statements. That is default.

ok for ", DEC". But what in that second code could make the DS3231 to stop?