Fix undefined variable 'val' in tools/editconf.py (#2137)
Fix undefined variable 'val' in tools/editconf.py (#2137)

Merges #2137.

mail-in-a-box/mailinabox,mail-in-a-box/mailinabox,mail-in-a-box/mailinabox,mail-in-a-box/mailinabox