Add report extension as extra files

issue9760
review292571002
This commit is contained in:
Cédric Krier committed 2020-10-27 21:15:28 +01:00
1 parent 0a2cc7162d
commit fb291d6d6c
1 file changed
+5 -2
+5 -2
View File
@@ -49,8 +49,11 @@ with commandline.pidfile(options):
ssl_args = {}
for module in get_module_list():
info = get_module_info(module)
path = os.path.join(info['directory'], 'view', '*.xml')
extra_files.extend(glob.glob(path))
for ext in ['xml',
'fodt', 'odt', 'fodp', 'odp', 'fods', 'ods', 'fodg', 'odg',
'txt', 'html', 'xhtml']:
path = os.path.join(info['directory'], '**', '*.' + ext)
extra_files.extend(glob.glob(path, recursive=True))
if options.coroutine:
from gevent.pywsgi import WSGIServer