From fb291d6d6cf9cfc6a243fd5918ca489f1cc3945e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Krier?= Date: Tue, 27 Oct 2020 21:15:28 +0100 Subject: [PATCH] Add report extension as extra files issue9760 review292571002 --- bin/trytond | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/bin/trytond b/bin/trytond index b4877d15a5..3465661fff 100755 --- a/bin/trytond +++ b/bin/trytond @@ -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