Fork us on GitHub Follow us on Facebook Follow us on Twitter

Changeset 6069061 in mainline


Ignore:
Timestamp:
2014-11-28T00:47:20Z (5 years ago)
Author:
Jan Vesely <jano.vesely@…>
Branches:
master
Children:
58775d3
Parents:
b412168 (diff), 99d8c82 (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:

Mainline changes

File:
1 edited

Legend:

Unmodified
Added
Removed
  • tools/xtui.py

    rb412168 r6069061  
    3939        pid = os.fork()
    4040        if (not pid):
    41                 os.close(2)
    42                 os.dup(outdesc)
     41                os.dup2(outdesc, 2)
    4342                os.close(indesc)
    4443               
Note: See TracChangeset for help on using the changeset viewer.