Fix bug where maps processor didn't run headless
diff --git a/html/process_map_files.php b/html/process_map_files.php
index 05e15c3..fb028de 100755
--- a/html/process_map_files.php
+++ b/html/process_map_files.php
@@ -12,6 +12,14 @@
 include("global.php");
 InitPage("");
 
+$headless = 0;
+if(!isset($User)) {
+	echo "User not defined -- running headless.";
+	$User = new User();
+	$User->loadFromID(40623);  // genie
+	$headless = 1;
+}
+
 
 require(BABEL_BASE_DIR . "classes/file/file.class.php");
 $html_spacer = "    ";
@@ -100,6 +108,10 @@
 	}
 }
 
+if($headless) {
+	$User = null;
+}
+
 function parseLocation($in_string) {
 	# in_string looks something like this:
 	# v_832,:pserver:anonymous@dev.eclipse.org:/cvsroot/eclipse,