# Name of the Registry Peer executable. This is generally at # /usr/bin/RegistryPeer3.py, however Fedora & other rpm-based # releases use /usr/bin/RegistryPeer AGREGISTRY_EXE= # # Login name of the user which the registry peer will run as AGREGISTRY_OWNER= # # Location of the directory from which the registry peer will be run AGREGISTRY_HOME= # # Web server or file which points to this registry peer PEERLISTURL= # # Location of system lock file for the Registry Peer. AGREGISTRY_LOCKFILE=/var/lock/agregistry #