Make sure changes to InterMapTxt are taken into account by all server processes, by forcing a configuration change (`config.touch` from r6006).
Make sure changes to InterMapTxt are taken into account by all server processes, by forcing a configuration change (`config.touch` from r6006).

This is a kind of "brute force" solution to the problem, but we need to have something while waiting for a more sophisticated approach.

Closes #5741.

pkdevbox/trac,pkdevbox/trac,pkdevbox/trac,pkdevbox/trac