noam-io/host — pull request #10 by jneander (2014-06-04 19:06:19+00:00)
Title: Swap 'warn' for 'debug' with close_connection error

This change will avoid spamming unnecessary logging while performing Lemma Verification.