Changes in uspace/srv/taskmon/taskmon.c [d9fae235:1ccafee] in mainline

File:

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

uspace/srv/taskmon/taskmon.c

@@ -44 +44 @@
 #include <macros.h>
 #include <errno.h>
-#include <str_error.h>
 
 #define NAME  "taskmon"
@@ -50 +49 @@
 static void fault_event(ipc_callid_t callid, ipc_call_t *call)
 {
-        const char *argv[6];
-        const char *fname;
+        char *argv[11];
+        char *fname;
         char *dump_fname;
         char *s_taskid;
-        const char **s;
+        char **s;
 
         task_id_t taskid;
@@ -67 +66 @@
         }
 
-        if (asprintf(&dump_fname, "/data/core%" PRIuTASKID, taskid) < 0) {
+        if (asprintf(&dump_fname, "/scratch/d" PRIuTASKID ".txt", taskid) < 0) {
                 printf("Memory allocation failed.\n");
                 return;
@@ -74 +73 @@
         printf(NAME ": Task %" PRIuTASKID " fault in thread %p.\n", taskid, thread);
 
-#ifdef CONFIG_WRITE_CORE_FILES
-        argv[0] = "/app/taskdump";
-        argv[1] = "-c";
-        argv[2] = dump_fname;
-        argv[3] = "-t";
-        argv[4] = s_taskid;
-        argv[5] = NULL;
+#ifdef CONFIG_VERBOSE_DUMPS
+        argv[0] = "/app/redir";
+        argv[1] = "-i";
+        argv[2] = "/readme";
+        argv[3] = "-o";
+        argv[4] = dump_fname;
+        argv[5] = "--";
+        argv[6] = "/app/taskdump";
+        argv[7] = "-m";
+        argv[8] = "-t";
+        argv[9] = s_taskid;
+        argv[10] = NULL;
 #else
         argv[0] = "/app/taskdump";
@@ -90 +94 @@
 
         printf(NAME ": Executing");
-        
-        s = argv;
+        s = argv;
         while (*s != NULL) {
                 printf(" %s", *s);
@@ -97 +100 @@
         }
         putchar('\n');
-        
-        int err;
-        if (!task_spawn(fname, argv, &err))
-                printf("%s: Error spawning %s (%s).\n", NAME, fname,
-                    str_error(err));
+
+        if (!task_spawn(fname, argv))
+                printf(NAME ": Error spawning taskdump.\n", fname);
 }