| 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 |