deploy-domtool: update for new servers and systemd
authorClinton Ebadi <clinton@unknownlamer.org>
Sat, 15 Dec 2018 17:24:59 +0000 (12:24 -0500)
committerClinton Ebadi <clinton@unknownlamer.org>
Sat, 15 Dec 2018 17:24:59 +0000 (12:24 -0500)
commita17d41eddce90091f48aae1a928b402be620667f
treeb00ab74e7f44ecde3286c7c7f508ef97b3900d06
parent5912f6af1fbecffa968da8cf54a17cb84468f4a5
deploy-domtool: update for new servers and systemd

Some servers now have insufficient memory to handle multiple instances
of mlton, but this isn't as big of a deal now with improved
single-threaded performance.
deploy-domtool
deploy-domtool-on-host