Richard Darst <rkd at hcoop.net> writes: > Likely the domtool server needs restarting, it sounds like... Again, we ought to be running domtool under runit so this doesn't happen. - a