# HG changeset patch # User casties # Date 1293123901 -3600 # Node ID a7dc563103c73d5a3bd85351055940cd5a71a437 # Parent 1c821283556a0490b7f00af873e0ecbd580e6836 new getInfoFromPage to read multiple parameters at once diff -r 1c821283556a -r a7dc563103c7 MpdlXmlTextServer.py --- a/MpdlXmlTextServer.py Thu Dec 23 17:45:55 2010 +0100 +++ b/MpdlXmlTextServer.py Thu Dec 23 18:05:01 2010 +0100 @@ -243,6 +243,12 @@ docinfo['allPlaces'] = int(s) except: docinfo['allPlaces'] = 0 + + else: + # no full text -- init to 0 + docinfo['figureEntries'] = 0 + docinfo['tocEntries'] = 0 + docinfo['allPlaces'] = 0 return docinfo