Merge pull request #165 from TheBlueMatt/2018-09-pre-disconnect-misc
authorMatt Corallo <649246+TheBlueMatt@users.noreply.github.com>
Tue, 11 Sep 2018 19:01:35 +0000 (15:01 -0400)
committerGitHub <noreply@github.com>
Tue, 11 Sep 2018 19:01:35 +0000 (15:01 -0400)
Further minor misc changes from reconnect work


Trivial merge