Of course, dsm_server died about noon on Xmas.  I've restarted.