]> scripts.mit.edu Git - wizard.git/blob - wizard/app/php.py
Refinements from running in practice.
[wizard.git] / wizard / app / php.py
1 import re
2
3 from wizard import app, util
4
5 def make_filename_regex(var):
6     return 'php.ini', re.compile('^(' + app.expand_re(var) + r'\s*=\s*)(.*)()$', re.M)
7
8 make_extractor = app.filename_regex_extractor(make_filename_regex)
9 make_substitution = app.filename_regex_substitution(make_filename_regex)
10 seed = {
11         'WIZARD_SESSIONNAME': 'session.name',
12         'WIZARD_TMPDIR': ('upload_tmp_dir', 'session.save_path'),
13         }
14
15 extractors = util.dictmap(make_extractor, seed)
16 substitutions = util.dictkmap(make_substitution, seed)
17 deprecated_keys = set([])
18