Diff: platform/mbed_rtc_time.cpp

Revision:

187:0387e8f68319

Parent:

186:707f6e361f3e

Child:

188:bcfe06ba3d64

--- a/platform/mbed_rtc_time.cpp	Fri Jun 22 16:45:37 2018 +0100
+++ b/platform/mbed_rtc_time.cpp	Thu Sep 06 13:40:20 2018 +0100
@@ -87,8 +87,8 @@
             set_time(0);
         }
     }
-    
-    time_t t = (time_t)-1;
+
+    time_t t = (time_t) -1;
     if (_rtc_read != NULL) {
         t = _rtc_read();
     }
@@ -100,7 +100,8 @@
     return t;
 }
 
-void set_time(time_t t) {
+void set_time(time_t t)
+{
     _mutex->lock();
     if (_rtc_init != NULL) {
         _rtc_init();
@@ -111,7 +112,8 @@
     _mutex->unlock();
 }
 
-void attach_rtc(time_t (*read_rtc)(void), void (*write_rtc)(time_t), void (*init_rtc)(void), int (*isenabled_rtc)(void)) {
+void attach_rtc(time_t (*read_rtc)(void), void (*write_rtc)(time_t), void (*init_rtc)(void), int (*isenabled_rtc)(void))
+{
     _mutex->lock();
     _rtc_read = read_rtc;
     _rtc_write = write_rtc;