tree 49fe867482f8f5aa179ec2dbdd4b87526a48e041
parent b1d9fbf544cbfbc5d5dcb0f3c8f988fb0b29fdba
author Otto van der Schaaf <oschaaf@we-amp.com> 1467814385 +0200
committer GitHub <noreply@github.com> 1467814385 +0200

Fix for when there is only server-level configuration (#1218)

When there is no top-level configuration but only server configuration,
we don't have main options to set and consider. This prevents
a NULL dereference in that case. (Later on we'll writes out a message
about why we cannot startup with this configuration).