# HG changeset patch
# User Nicholas Jillings <n.g.r.jillings@se14.qmul.ac.uk>
# Date 1458646311 0
# Node ID ff7d0fb646f14439906b1bebdad376b62f4418a8
# Parent  6533f0c11d9aa25a5da643c0ce1268b4f7698986
Hotfix. date time node in results returned function reference for minutes.

diff -r 6533f0c11d9a -r ff7d0fb646f1 core.js
--- a/core.js	Tue Mar 22 11:21:45 2016 +0000
+++ b/core.js	Tue Mar 22 11:31:51 2016 +0000
@@ -2464,7 +2464,7 @@
         date.setAttribute('month',dateTime.getMonth()+1);
         date.setAttribute('day',dateTime.getDate());
         time.setAttribute('hour',dateTime.getHours());
-        time.setAttribute('minute',dateTime.getMinutes);
+        time.setAttribute('minute',dateTime.getMinutes());
         time.setAttribute('secs',dateTime.getSeconds());
         
         hold.appendChild(date);