I'd like to note that this no longer can happen.

:wink: 
(unless a crazy person edits the file while the server's running, but hey, what can you do?)