gustafn
committed
on 03 Jun 17
Deal with Mauricio's NaviServer modification (fixes issue #3319)