OLD | NEW |
1 import os | 1 import os |
2 import sys | 2 import sys |
3 import shutil | 3 import shutil |
4 | 4 |
5 def main(argv): | 5 def main(argv): |
6 directory = argv[0] | 6 directory = argv[0] |
7 if os.path.exists(directory): | 7 if os.path.exists(directory): |
8 #print("Deleting %s" % directory) | 8 #print("Deleting %s" % directory) |
9 shutil.rmtree(directory) | 9 shutil.rmtree(directory) |
10 | 10 |
11 return 0 | 11 return 0 |
12 | 12 |
13 if '__main__' == __name__: | 13 if '__main__' == __name__: |
14 try: | 14 try: |
15 sys.exit(main(sys.argv[1:])) | 15 sys.exit(main(sys.argv[1:])) |
16 except KeyboardInterrupt: | 16 except KeyboardInterrupt: |
17 sys.stderr.write('interrupted\n') | 17 sys.stderr.write('interrupted\n') |
18 sys.exit(1) | 18 sys.exit(1) |
OLD | NEW |