equal
deleted
inserted
replaced
42 'help': 'http server port number (default to 8080)', |
42 'help': 'http server port number (default to 8080)', |
43 'group': 'web', 'level': 0, |
43 'group': 'web', 'level': 0, |
44 }), |
44 }), |
45 ('interface', |
45 ('interface', |
46 {'type' : 'string', |
46 {'type' : 'string', |
47 'default': "", |
47 'default': '0.0.0.0', |
48 'help': 'http server address on which to listen (default to everywhere)', |
48 'help': 'http server address on which to listen (default to everywhere)', |
49 'group': 'web', 'level': 1, |
49 'group': 'web', 'level': 1, |
50 }), |
50 }), |
51 ('max-post-length', |
51 ('max-post-length', |
52 {'type' : 'bytes', |
52 {'type' : 'bytes', |