Changeset 5bda2f96 in mainline for uspace/srv/taskmon/taskmon.c


Ignore:
Timestamp:
2010-02-09T21:03:02Z (14 years ago)
Author:
Jakub Jermar <jakub@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
83b4cf53
Parents:
696979ce (diff), a60b2d7 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.
Message:

Merge from mainline.

File:
1 edited

Legend:

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

    r696979ce r5bda2f96  
    4949static void fault_event(ipc_callid_t callid, ipc_call_t *call)
    5050{
    51         char *argv[11];
     51        char *argv[6];
    5252        char *fname;
    5353        char *dump_fname;
     
    6666        }
    6767
    68         if (asprintf(&dump_fname, "/scratch/d" PRIuTASKID ".txt", taskid) < 0) {
     68        if (asprintf(&dump_fname, "/data/core%" PRIuTASKID, 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_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;
     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;
    8782#else
    8883        argv[0] = "/app/taskdump";
Note: See TracChangeset for help on using the changeset viewer.