appending characters to a custom field without intervening spaces (no replies)

Hi,

I need to express something similar to this:

http-request set-header X-REQUEST-START t=%[Ts]%[ms]000

(to append three "0"s at the end of the timestamp with milliseconds).

I have tried with other ways to append the three "0"s at the end:

http-request set-header X-REQUEST-START t=%Ts%[ms]\x30\x30\x30

and

http-request set-header X-REQUEST-START t=%Ts%ms\x30\x30\x30

and no avail either.

Thanks for your help!

PS:
(The background of this question is something like:


https://docs.newrelic.com/docs/apm/other-features/request-queueing/configuring-request-queue-reporting#php


https://docs.newrelic.com/docs/apm/other-features/request-queueing/request-queue-server-configuration-examples#f5

where microseconds are needed as the value of this header)

This is version 1.5.14