This article from the NY Times says he was given an honorable discharge although a less than honorable had been considered. Who knows what the real truth is. Go down several paragraphs for this info.
http://www.nytimes.com/2013/09/18/us/washington-navy-yard-shootings.html?pagewanted=all&_r=0
Thanks- been out most of day and evening- just catching up.