A little more logging
Tweak .gitignore
Merge branch 'master' of ssh://golem.ph.utexas.edu/~distler/src/dingus-server/