The settings match the Django settings, yes. As far as the rest runner, the following shows on that command:
root 25868 25475 0 21:50 pts/0 00:00:00 grep --color=auto runner=rest
Just curious, I did some searching for the REST server and ran these commands from the documentation:
from mailman.testing import helpers master = helpers.TestableMaster(helpers.wait_for_webservice) master.start('rest')
It returned the following error:
Traceback (most recent call last): File "<stdin>", line 1, in <module> File "/usr/lib/python3/dist-packages/mailman/testing/helpers.py", line 169, in start self.start_runners(runners) File "/usr/lib/python3/dist-packages/mailman/bin/master.py", line 405, in start_runners runner_config = getattr(config, section_name) File "/usr/lib/python3/dist-packages/mailman/config/config.py", line 88, in __getattr__ return getattr(self._config, name) AttributeError: 'NoneType' object has no attribute 'runner.rest'