fix a bad cast to Assignment, closes #1935
fix miss of pingType in timePingReply, closes #1934
Merge pull request #1936 from birarda/master

fix a bug in domain-server and ping timing