+def ini_replace_vars():
+ """
+ Replace ``WIZARD_TMPDIR`` and ``WIZARD_SESSIONNAME`` with with user-specific values.
+ """
+ text = open('php.ini', "r").read()
+ text = text.replace('WIZARD_TMPDIR', '/mit/%s/web_scripts_tmp' % os.environ['USER'])
+ text = text.replace('WIZARD_SESSIONNAME', '%s_SID' % os.environ['USER'])
+ open('php.ini', "w").write(text)
+