Function convertTimestamp

conversion.ts:19–32

(ts: string)

    'Dec': '12'
};
export function convertTimestamp(ts: string): string {
    const bits = /^... (...) (\d\d) (\d\d):(\d\d):(\d\d) \+.... (\d\d\d\d)$/.exec(ts);
    if (bits !== null) {
        const month = MONTHS[bits[1]];
        const day = bits[2];
        const hour = bits[3];
        const minute = bits[4];
        const second = bits[5];
        const year = bits[6];
        return `${year}-${month}-${day}T${hour}:${minute}:${second}.000Z`;
    } else {
        return '1970-01-01T00:00:00.000Z';
    }
}
export function convertPollTimestamp(ts: string): string {
    return ts.substring(0, ts.length - 1) + '.000Z';
}