[global] server.socket_port= 8088 server.environment= "production" server.protocolVersion= "HTTP/1.1" server.thread_pool = 1 server.log_to_screen = False server.log_request_headers = True server.show_tracebacks = True sessionFilter.on = True sessionFilter.storageType='File' sessionFilter.timeout=30 sessionFilter.cookieName = 'DuplicateSession' [/static] static_filter.on = True static_filter.dir = "static" [/favicon.ico] static_filter.on = True static_filter.file = "static/images/favicon.ico" [/] tools.encode.on = True tools.gzip.on = True