Admin/bash_process/bash_process.c

   fprintf(stderr, "%s\n", msg);
   fflush(stderr);
   exit(2);
 }
 
+static time_t now()
+{
+  struct timeval tv;
+  if (gettimeofday(&tv, NULL) == 0) {
+    return tv.tv_sec * 1000 + tv.tv_usec / 1000;
+  }
+  else {
+    return time(NULL) * 1000;
+  }
+}
+
 
 int main(int argc, char *argv[])
 {
   /* args */
 

   char *timing_name = argv[2];
 
 
   /* potential fork */
 
-  time_t time_start = time(NULL);
+  time_t time_start = now();
 
   if (strlen(timing_name) > 0 || setsid() == -1) {
     pid_t pid = fork();
 
     if (pid == -1) fail("Cannot set session id (failed to fork)");

       }
 
       /* report timing */
 
       if (strlen(timing_name) > 0) {
-        long long timing_elapsed = (time(NULL) - time_start) * 1000;
+        long long timing_elapsed = now() - time_start;
 
         struct rusage ru;
         getrusage(RUSAGE_CHILDREN, &ru);
 
         long long timing_cpu =