# HG changeset patch
# User abukhman
# Date 1288001921 -7200
# Node ID f991ddd3a0455b163df22d92773e5d0ab9b277fc
# Parent  ca792f89d51823b77aacb16ede2e0b44260bb741
*** empty log message ***

diff -r ca792f89d518 -r f991ddd3a045 MpdlXmlTextServer.py
--- a/MpdlXmlTextServer.py	Wed Oct 20 18:22:26 2010 +0200
+++ b/MpdlXmlTextServer.py	Mon Oct 25 12:18:41 2010 +0200
@@ -203,6 +203,7 @@
         url = docinfo['url']
         name = docinfo['name']
         viewMode= pageinfo['viewMode']
+        highlightQuery = pageinfo['highlightQuery']
         tocMode = pageinfo['tocMode']
         characterNormalization=pageinfo['characterNormalization']
         tocPN = pageinfo['tocPN']