~azzar1/unity/add-show-desktop-key

« back to all changes in this revision

Viewing changes to file-tools/cat-to.py

  • Committer: William Grant
  • Date: 2009-06-24 10:36:40 UTC
  • Revision ID: grantw@unimelb.edu.au-20090624103640-os28zap2wkyz2udb
Simplify (and deprettify) the crash handler. It's now only used to handle crashes, so needn't be pretty.

Show diffs side-by-side

added added

removed removed

Lines of Context:
1
 
#!/usr/bin/python
2
 
 
3
 
import sys
4
 
 
5
 
if __name__ == "__main__":
6
 
    out = open(sys.argv[1], "wb")
7
 
    out.write(sys.stdin.read())
8
 
    out.close()