"""
import re
+import os
from wizard import app, util
def _make_filename_regex(var):
return 'php.ini', re.compile('^(' + app.expand_re(var) + r'\s*=\s*)(.*)()$', re.M)
+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)
+
seed = util.dictmap(_make_filename_regex, {
'WIZARD_SESSIONNAME': 'session.name',
'WIZARD_TMPDIR': ('upload_tmp_dir', 'session.save_path'),