disallow multiple robots of same name in configeditor