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

diff -r 9e4fb381944e -r 5b902e1f737c 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);