From e5fe956726754f2a789807b7005b6afb9ce79598 Mon Sep 17 00:00:00 2001
From: Ned Batchelder <ned@nedbatchelder.com>
Date: Wed, 11 Jul 2012 07:36:16 -0400
Subject: I like the name igor better :)

--HG--
rename : servant.py => igor.py
---
 servant.py | 25 -------------------------
 1 file changed, 25 deletions(-)
 delete mode 100644 servant.py

(limited to 'servant.py')

diff --git a/servant.py b/servant.py
deleted file mode 100644
index efbe8a0f..00000000
--- a/servant.py
+++ /dev/null
@@ -1,25 +0,0 @@
-import os
-import sys
-import zipfile
-
-from nose import core as nose_core
-
-if sys.argv[1] == "remove_extension":
-    so_names = """
-        tracer.so
-        tracer.cpython-32m.so
-        """.split()
-
-    for filename in so_names:
-        try:
-            os.remove(os.path.join("coverage", filename))
-        except OSError:
-            pass
-
-elif sys.argv[1] == "test_with_tracer":
-    os.environ["COVERAGE_TEST_TRACER"] = sys.argv[2]
-    del sys.argv[1:3]
-    nose_core.main()
-
-elif sys.argv[1] == "zip_mods":
-    zipfile.ZipFile("test/zipmods.zip", "w").write("test/covmodzip1.py", "covmodzip1.py")
-- 
cgit v1.2.1