function zeroPad(x)
{
- return (x<10 ? "0" : "") + x;
+ return (x<10 ? "0" : "") + x;
}
export function getDate(d)
{
- return d.getFullYear() + '-' + zeroPad(d.getMonth()+1) + '-' + zeroPad(d.getDate());
+ return d.getFullYear() + '-' + zeroPad(d.getMonth()+1) + '-' + zeroPad(d.getDate());
}
export function getTime(d)
{
- return zeroPad(d.getHours()) + ":" + zeroPad(d.getMinutes()) + ":" +
- zeroPad(d.getSeconds());
+ return zeroPad(d.getHours()) + ":" + zeroPad(d.getMinutes()) + ":" +
+ zeroPad(d.getSeconds());
}
function padDigits(x)
let res = "";
if (days > 0)
res += days + "d ";
- if (days <= 3 && hours > 0) //TODO: 3 is arbitrary
+ if (days <= 3 && hours > 0) //NOTE: 3 is arbitrary
res += hours + "h ";
if (days == 0 && minutes > 0)
res += (hours > 0 ? padDigits(minutes) + "m " : minutes + ":");
if (days == 0 && hours == 0)
+ {
res += padDigits(seconds);
+ if (minutes == 0)
+ res += "s"; //seconds indicator, since this is the only number printed
+ }
return res.trim(); //remove potential last space
}