Как отформатировать время, возвращаемое вызовом API Rest InfluxQL

#date #datetime #influxdb #influxql

Вопрос:

Я пытаюсь получить некоторые данные от Influx, запросив их с помощью InfluxQL.

Пример ответа выглядит так:

 {
    "results": [
        {
            "statement_id": 0,
            "series": [
                {
                    "name": "TIMINGS",
                    "columns": [
                        "time",
                        "value",
                        "stream"
                    ],
                    "values": [
                        [
                            "2021-09-03T07:45:47.114Z",
                            8,
                            "VFE1Machine_Stream"
                        ],
                        [
                            "2021-09-03T07:45:43.74Z",
                            9,
                            "VFE1Machine_Stream"
                        ],
                        [
                            "2021-09-03T07:45:40.633Z",
                            10,
                            "VFE1Machine_Stream"
                        ]
                    ]
                }
            ]
        }
    ]
}
 

Что бросается в глаза, так это то, что в 3-й строке 2 цифры в миллисекундах вместо 3, которые я обычно ожидал бы. Он проанализирован правильно, так 2021-09-03T07:45:43.74 оно и есть на самом деле 2021-09-03T07:45:43.740 , но он не очень хорошо выглядит на лицевой стороне и может ошибочно предположить, что у него всего 74 миллисекунды (что так и есть 2021-09-03T07:45:43.074 ).

Есть ли какой-либо способ заставить приток возвращать всегда 3 цифры в миллисекундах? Я знаю, что он может быть проанализирован, вероятно, каждым фреймворком или языком, но я хочу сделать это непосредственно в запросе.