diff scripts/evaluation_stats.py @ 1208:08f6b58b7c20

Probably solves #1617
author Giulio Moro <giuliomoro@yahoo.it>
date Mon, 22 Feb 2016 21:39:38 +0000
parents 888292c88c33
children 124e6c702845
line wrap: on
line diff
--- a/scripts/evaluation_stats.py	Mon Feb 22 16:26:26 2016 +0000
+++ b/scripts/evaluation_stats.py	Mon Feb 22 21:39:38 2016 +0000
@@ -55,7 +55,7 @@
         page_number = 0
         
         # get list of all page names
-        for audioholder in root.findall("./audioholder"):   # iterate over pages
+        for audioholder in root.findall("./page"):   # iterate over pages
             page_name = audioholder.get('id')               # get page name
             
             if page_name is None: # ignore 'empty' audio_holders