editing gearman server name in nodepool conf