beremiz

Fix bug in resource search result highlighting

2012-12-19, Laurent Bessard
64aa66d481c5
Fix bug in resource search result highlighting
[TOPOLOGY]
NetName=None
Nodes=0x01
Node64Present=0x01
Node64Name=micromod
Node64DCFName=PEAK MicroMod.eds
EDSBaseName=eds