<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><div>On 11 May 2013, at 12:41, Laing, Michael P. wrote:</div><blockquote type="cite"><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; color: rgb(0, 0, 0); font-size: 14px; font-family: Calibri, sans-serif; "><div>With the 'fix' it gives a bad_host error instead of unknown_host.</div><div><br></div></div></blockquote></div><div><br></div>Also also ... can you tell me more about this error. The `bad_host` seems a bit wayward to me - how did you determine that this was the error. Is there a log file I can take a look at, or a snippet from one?<div><br></div><div>Cheers,</div><div>Tim</div></body></html>