# Copyright 1999-2005 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: $

# set to YES to enable the web frontend to xend on port 8080.
# To change the port, edit /usr/lib/python/xen/sv/params.py
XENSV="NO"