Changes in uspace/srv/taskmon/taskmon.c [7e752b2:0485135] in mainline

File:

• uspace/srv/taskmon/taskmon.c (modified) (2 diffs)

uspace/srv/taskmon/taskmon.c

@@ -60 +60 @@
         thread = IPC_GET_ARG3(*call);
 
-        if (asprintf(&s_taskid, "%" PRIu64, taskid) < 0) {
+        if (asprintf(&s_taskid, "%" PRIuTASKID, taskid) < 0) {
                 printf("Memory allocation failed.\n");
                 return;
         }
 
-        printf(NAME ": Task %" PRIu64 " fault in thread %p.\n", taskid,
-            (void *) thread);
+        printf(NAME ": Task %" PRIuTASKID " fault in thread %p.\n", taskid, thread);
 
         fname = "/app/taskdump";
@@ -73 +72 @@
         char *dump_fname;
 
-        if (asprintf(&dump_fname, "/data/core%" PRIu64, taskid) < 0) {
+        if (asprintf(&dump_fname, "/data/core%" PRIuTASKID, taskid) < 0) {
                 printf("Memory allocation failed.\n");
                 return;
         }
 
-        printf(NAME ": Executing %s -c %s -t %s\n", fname, dump_fname, s_taskid);
+        printf(NAME ": Executing %s -c %s -t %s\n", dump_fname, s_taskid);
         rc = task_spawnl(NULL, fname, fname, "-c", dump_fname, "-t", s_taskid,
             NULL);
 #else
-        printf(NAME ": Executing %s -t %s\n", fname, s_taskid);
+        printf(NAME ": Executing %s -t %s\n", s_taskid);
         rc = task_spawnl(NULL, fname, fname, "-t", s_taskid, NULL);
 #endif