if ( ipstream.eof() || ipstream.fail() ) {
fprintf(stderr, "Error reading config file: Got setting name '%s', but value can't be read\n", setting);
if ( ipstream.eof() || ipstream.fail() ) {
fprintf(stderr, "Error reading config file: Got setting name '%s', but value can't be read\n", setting);