Well, it may have made the DNS request before you exited, and of course that failed. So at worst you got a DNS leak. It is extremely unlikely anything will come of that.