app_terminal.py:  Fixed a few bugs related to conversion of the old server.conf to the new format.