| Index: third_party/libadblockplus/delete_dir.py |
| diff --git a/third_party/libadblockplus/delete_dir.py b/third_party/libadblockplus/delete_dir.py |
| new file mode 100644 |
| index 0000000000000000000000000000000000000000..a349a6aa1e272533cd0d8222a2d931645c339e19 |
| --- /dev/null |
| +++ b/third_party/libadblockplus/delete_dir.py |
| @@ -0,0 +1,19 @@ |
| +import os |
| +import sys |
| +import shutil |
| + |
| + |
| +def main(argv): |
| + directory = argv[0] |
| + if os.path.exists(directory): |
| + shutil.rmtree(directory) |
| + |
| + return 0 |
| + |
| + |
| +if '__main__' == __name__: |
| + try: |
| + sys.exit(main(sys.argv[1:])) |
| + except KeyboardInterrupt: |
| + sys.stderr.write('interrupted\n') |
| + sys.exit(1) |