Convert DISKLIMIT value to an integer
authorSteve Muir <smuir@cs.princeton.edu>
Thu, 6 Oct 2005 13:30:06 +0000 (13:30 +0000)
committerSteve Muir <smuir@cs.princeton.edu>
Thu, 6 Oct 2005 13:30:06 +0000 (13:30 +0000)
python/vserver.py

index c539ee9..7d1364f 100644 (file)
@@ -332,7 +332,7 @@ class VServer:
     def start(self, wait, runlevel = 3):
 
         # XXX - temporary hack
-        self.set_disklimit(self.config.get("DISKLIMIT", 5000000))
+        self.set_disklimit(int(self.config.get("DISKLIMIT", 5000000)))
 
         child_pid = os.fork()
         if child_pid == 0: