--- /dev/null
+#!/usr/bin/python
+#
+# Parses the PLC configuration file /etc/planetlab/plc_config, which
+# is bootstrapped by Boot Manager, but managed by us.
+#
+# Mark Huang <mlhuang@cs.princeton.edu>
+# Copyright (C) 2006 The Trustees of Princeton University
+#
+# $Id$
+#
+
+class Config:
+ """
+ Parses Python configuration files; all variables in the file are
+ assigned to class attributes.
+ """
+
+ def __init__(self, file = "/etc/planetlab/plc_config"):
+ try:
+ execfile(file, self.__dict__)
+ except:
+ raise Exception, "Could not parse " + file
+
+ if int(self.PLC_API_PORT) == 443:
+ uri = "https://"
+ else:
+ uri = "http://"
+
+ uri += self.PLC_API_HOST + \
+ ":" + str(self.PLC_API_PORT) + \
+ "/" + self.PLC_API_PATH + "/"
+
+ self.plc_api_uri = uri