Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed
  • uspace/srv/taskmon/taskmon.c

    rdafa2d04 r1ccafee  
    4949static void fault_event(ipc_callid_t callid, ipc_call_t *call)
    5050{
    51         char *argv[6];
     51        char *argv[11];
    5252        char *fname;
    5353        char *dump_fname;
     
    6666        }
    6767
    68         if (asprintf(&dump_fname, "/data/core" PRIuTASKID, taskid) < 0) {
     68        if (asprintf(&dump_fname, "/scratch/d" PRIuTASKID ".txt", taskid) < 0) {
    6969                printf("Memory allocation failed.\n");
    7070                return;
     
    7373        printf(NAME ": Task %" PRIuTASKID " fault in thread %p.\n", taskid, thread);
    7474
    75 #ifdef CONFIG_WRITE_CORE_FILES
    76         argv[0] = "/app/taskdump";
    77         argv[1] = "-c";
    78         argv[2] = dump_fname;
    79         argv[3] = "-t";
    80         argv[4] = s_taskid;
    81         argv[5] = NULL;
     75#ifdef CONFIG_VERBOSE_DUMPS
     76        argv[0] = "/app/redir";
     77        argv[1] = "-i";
     78        argv[2] = "/readme";
     79        argv[3] = "-o";
     80        argv[4] = dump_fname;
     81        argv[5] = "--";
     82        argv[6] = "/app/taskdump";
     83        argv[7] = "-m";
     84        argv[8] = "-t";
     85        argv[9] = s_taskid;
     86        argv[10] = NULL;
    8287#else
    8388        argv[0] = "/app/taskdump";
Note: See TracChangeset for help on using the changeset viewer.