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