[GNUnet-SVN] r36751 - gnunet/src/arm

[gnunet]

Author: dold
Date: 2015-12-10 11:59:25 +0100 (Thu, 10 Dec 2015)
New Revision: 36751

Modified:
   gnunet/src/arm/gnunet-service-arm.c
Log:
Make resource diagnostics output more useful.

The old format had output that looked like a floating point number, but was
actually two integers (seconds, microseconds) separated by a dot.  Actually
outputting floating point numbers makes the output more amendable to processing
with standard tools like awk.


Modified: gnunet/src/arm/gnunet-service-arm.c
===================================================================
--- gnunet/src/arm/gnunet-service-arm.c 2015-12-09 18:56:42 UTC (rev 36750)
+++ gnunet/src/arm/gnunet-service-arm.c 2015-12-10 10:59:25 UTC (rev 36751)
@@ -1254,14 +1254,14 @@
       if ( (GNUNET_OS_PROCESS_EXITED == statusType) ||
            (GNUNET_OS_PROCESS_SIGNALED == statusType) )
       {
+        double utime = ru.ru_utime.tv_sec + (ru.ru_utime.tv_usec / 10e6);
+        double stime = ru.ru_stime.tv_sec + (ru.ru_stime.tv_usec / 10e6);
         fprintf (wait_file,
-                 "%s(%u) %llu.%llu %llu.%llu %llu %llu %llu %llu %llu\n",
+                 "%s(%u) %.3f %.3f %llu %llu %llu %llu %llu\n",
                  pos->binary,
                  (unsigned int) pid,
-                 (unsigned long long) ru.ru_utime.tv_sec,
-                 (unsigned long long) ru.ru_utime.tv_usec,
-                 (unsigned long long) ru.ru_stime.tv_sec,
-                 (unsigned long long) ru.ru_stime.tv_usec,
+                 utime,
+                 stime,
                  (unsigned long long) ru.ru_maxrss,
                  (unsigned long long) ru.ru_inblock,
                  (unsigned long long) ru.ru_oublock,