[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[GNUnet-SVN] r36751 - gnunet/src/arm
From: |
gnunet |
Subject: |
[GNUnet-SVN] r36751 - gnunet/src/arm |
Date: |
Thu, 10 Dec 2015 11:59:25 +0100 |
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,
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [GNUnet-SVN] r36751 - gnunet/src/arm,
gnunet <=