-extractors = util.dictmap(make_extractor,
- {'WIZARD_SESSIONNAME': 'session.name'
- ,'WIZARD_TMPDIR': 'upload_tmp_dir'
+ >>> re_define('FOO').search("define('FOO', 'bar');").group(2)
+ "'bar'"
+ """
+ return re.compile('^(define\([\'"]' + app.expand_re(var) + r'''['"]\s*,\s*)(.*)(\);)''', re.M)
+
+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'),