]> scripts.mit.edu Git - wizard.git/blobdiff - wizard/util.py
Fix bug where php.ini not being rewritten for MediaWiki.
[wizard.git] / wizard / util.py
index 7237ae656826537dec251d662d205074364fa19f..8f1d1ba4bff20ab9eb0ca7121febce9e4b51072f 100644 (file)
@@ -44,14 +44,6 @@ def boolish(val):
             return False
         return bool(val)
 
-def chdir_to_production():
-    # XXX: Can't use deploy; maybe should stringify constant
-    # .wizard/pending?
-    if os.path.exists(".wizard/pending"):
-        newdir = open(".wizard/pending").read().strip()
-        logging.warning("Detected production copy; changing directory to %s", newdir)
-        os.chdir(newdir)
-
 class ChangeDirectory(object):
     """
     Context for temporarily changing the working directory.