Python tools for editing arcgis server settings