Changeset 633 for trunk/user


Ignore:
Timestamp:
May 28, 2019, 6:10:15 PM (6 years ago)
Author:
alain
Message:

cosmetic

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/user/ksh/ksh.c

    r630 r633  
    14381438    unsigned int lid;             // core identifier for this KSH main thread
    14391439    int          status;          // child process termination status
     1440    int          parent_pid;      // parent process identifier (i.e. this process)
    14401441    int          child_pid;       // child process identifier
    1441     int          parent_pid;      // parent process identifier (i.e. this process)
    14421442    unsigned int is_owner;        // non-zero if KSH process is TXT owner
    14431443
     
    14881488        child_pid = wait( &status );
    14891489
    1490 #if DEBUG_MAIN
    1491 if( WIFEXITED  (status) ) printf("\n[ksh] child process %x exit\n"   , child_pid );
    1492 if( WIFSIGNALED(status) ) printf("\n[ksh] child process %x killed\n" , child_pid );
    1493 if( WIFSTOPPED (status) ) printf("\n[ksh] child process %x stopped\n", child_pid );
    1494 #endif
     1490        if( DEBUG_MAIN )
     1491        {
     1492            if(WIFEXITED  (status)) printf("\n[ksh] child process %x exit\n"   ,child_pid);
     1493            if(WIFSIGNALED(status)) printf("\n[ksh] child process %x killed\n" ,child_pid);
     1494            if(WIFSTOPPED (status)) printf("\n[ksh] child process %x stopped\n",child_pid);
     1495        }
    14951496
    14961497        // release semaphore if KSH process is TXT owner, to unblock interactive thread
Note: See TracChangeset for help on using the changeset viewer.