writeout_json: use curl_off_t printf() option for the time output

Follow-up to: 04c03416e68fd635a15

Closes #5115

diff --git a/src/tool_writeout_json.c b/src/tool_writeout_json.c
index 703cbbde87707abbb97bdaf5016a2e859ced352c..70235c20912f4b7bdce7f245d5f25a2e0b744432 100644 (file)
--- a/src/tool_writeout_json.c
+++ b/src/tool_writeout_json.c
@@ -84,7 +84,8 @@ static int writeTime(FILE *str, CURL *curl, const char *key, CURLINFO ci)
   if(CURLE_OK == curl_easy_getinfo(curl, ci, &val)) {
     curl_off_t s = val / 1000000l;
     curl_off_t ms = val % 1000000l;
-    fprintf(str, "\"%s\":%ld.%06ld", key, s, ms);
+    fprintf(str, "\"%s\":%" CURL_FORMAT_CURL_OFF_T
+            ".%06" CURL_FORMAT_CURL_OFF_T, key, s, ms);
     return 1;
   }
   return 0;