php files should have execute bits. Also re-enabled id(), because it's
php files should have execute bits. Also re-enabled id(), because it's
a smart idea.

--- a/SpaceNode.php
+++ b/SpaceNode.php
@@ -26,6 +26,10 @@
 	public function name() {

 		return $this->name;

 	}

+	

+	public function id() {

+		return $this->id;

+	}

 

 	public function change_ultra($ultra) {

 		// remove from the current parent

@@ -43,12 +47,12 @@
 	}

 

 	public function add_infra($infra) {

-		if (empty($this->child_list[$infra->name()])) {

+		if (empty($this->child_list[$infra->id()])) {

 			$infra_r = $infra->get_location(T_DNUMBER) + $infra->get_radius();

 			if ($infra_r > $this->mean_radius) {

 				$this->grow_radius($infra_r);

 			}

-			$this->child_list[$infra->name()] = $infra;

+			$this->child_list[$infra->id()] = $infra;

 		} else {

 			throw new Exception("Tried to add duplicate child object '" . $infra->name() . "'to '" . $this->name . "'");

 		}