Merge branch 'mbed_rtc_time_example_fix' of ssh://github.com/mprse/mbed-os into rollup

Cruz Monrreal II · Cruz Monrreal II · commit fe1d6b0565df · 2018-10-23T22:38:42.000-05:00
diff --git a/platform/mbed_rtc_time.h b/platform/mbed_rtc_time.h
@@ -40,10 +40,10 @@ extern "C" {
  * int main() {
  *     set_time(1256729737);  // Set RTC time to Wed, 28 Oct 2009 11:35:37
  *
- *     while(1) {
+ *     while (true) {
  *         time_t seconds = time(NULL);
  *
- *         printf("Time as seconds since January 1, 1970 = %d\n", seconds);
+ *         printf("Time as seconds since January 1, 1970 = %u\n", (unsigned int)seconds);
  *
  *         printf("Time as a basic string = %s", ctime(&seconds));
  *

Original file line number	Diff line number	Diff line change
`@@ -40,10 +40,10 @@ extern "C" {`
`40`	`40`	`* int main() {`
`41`	`41`	`* set_time(1256729737); // Set RTC time to Wed, 28 Oct 2009 11:35:37`
`42`	`42`	`*`
`43`		`- * while(1) {`
	`43`	`+ * while (true) {`
`44`	`44`	`* time_t seconds = time(NULL);`
`45`	`45`	`*`
`46`		`- * printf("Time as seconds since January 1, 1970 = %d\n", seconds);`
	`46`	`+ * printf("Time as seconds since January 1, 1970 = %u\n", (unsigned int)seconds);`
`47`	`47`	`*`
`48`	`48`	`* printf("Time as a basic string = %s", ctime(&seconds));`
`49`	`49`	`*`