+ if (config[i].keyword == "num_servers") {
+ if (config[i].parameters.size() > 0 ||
+ config[i].arguments.size() != 1) {
+ fprintf(stderr, "ERROR: 'num_servers' takes one argument and no parameters\n");
+ exit(1);
+ }
+ num_servers = atoi(config[i].arguments[0].c_str());
+ }