+ ns.parse_time = function(time) {
+ var now = new Date();
+
+ if (time === undefined)
+ return undefined;
+
+ if (time === '')
+ return null;
+
+ if (time === '0')
+ return now;
+
+ // special case 1: military time in fixed "hhmm" format
+ if (time.length == 4) {
+ var res = time.match(/(\d\d)(\d\d)/);
+ if (res) {
+ now.setHours(res[1], res[2]);
+ return now;
+ } else {
+ return undefined;
+ }
+ }
+
+ var parts = time.replace(/\s+/g, "").split(ns._time_format.sep);
+ if (parts.length == 2) {
+ for (var idx in parts) {
+ if (Number.isNaN(Number.parseInt(parts[idx])))
+ return undefined;
+ }
+ now.setHours(parts[ns._time_format.h], parts[ns._time_format.m]);
+ return now;
+ } else
+ return undefined;
+ }
+
+ ns.format_time = function(date) {
+ if (isNaN(date.getTime()))
+ return undefined;
+
+ var parts = [ "", "" ]
+ parts[ ns._time_format.h ] = date.getHours().toString().padStart(2, '0');
+ parts[ ns._time_format.m ] = date.getMinutes().toString().padStart(2, '0');
+ return parts.join(ns._time_format.sep);
+ };
+