Suppress logging of average processing time if nothing was processed

This avoids a potential division by zero.

Signed-off-by: Stefan Weil <[email protected]>

Author: stweil

user_scripts/parse_folder.py

@@ -334,7 +334,8 @@ def main():
 
     if page_parser.decoder:
         logger.info(page_parser.decoder.decoding_summary())
-    logger.info(f'AVERAGE PROCESSING TIME {(time.time() - t_start) / len(ids_to_process)}')
+    if len(ids_to_process) > 0:
+        logger.info(f'AVERAGE PROCESSING TIME {(time.time() - t_start) / len(ids_to_process)}')
 
 
 if __name__ == "__main__":