From ca045d97b949fbc87a2c56594431a42abfd1f2ba Mon Sep 17 00:00:00 2001
From: Damien George <damien.p.george@gmail.com>
Date: Mon, 21 Apr 2014 20:18:37 +0100
Subject: [PATCH] tools: Update pyboard.py to work with latest changes to RTC.

---
 tools/pyboard.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tools/pyboard.py b/tools/pyboard.py
index d5b3237cab..a44710914e 100644
--- a/tools/pyboard.py
+++ b/tools/pyboard.py
@@ -89,8 +89,8 @@ class Pyboard:
         return self.exec(pyfile)
 
     def get_time(self):
-        t = str(self.exec('pyb.time()'), encoding='ascii').strip().split()[1].split(':')
-        return int(t[0]) * 3600 + int(t[1]) * 60 + int(t[2])
+        t = str(self.eval('pyb.RTC().datetime()'), encoding='ascii')[1:-1].split(', ')
+        return int(t[4]) * 3600 + int(t[5]) * 60 + int(t[6])
 
 def execfile(filename, device='/dev/ttyACM0'):
     pyb = Pyboard(device)