diff -r 2465dbc90ea4 -r 0fe366d953ab www/prod_export.php --- a/www/prod_export.php Mon Sep 16 17:26:38 2019 +0200 +++ b/www/prod_export.php Wed Sep 18 14:40:34 2019 +0200 @@ -25,20 +25,27 @@