[254427] Externalize genie id
diff --git a/html/process_map_files.php b/html/process_map_files.php
index 07e6a82..8f92194 100755
--- a/html/process_map_files.php
+++ b/html/process_map_files.php
@@ -17,8 +17,7 @@
 $headless = 0;
 if(!isset($User)) {
 	echo "User not defined -- running headless.";
-	$User = new User();
-	$User->loadFromID(40623);  // genie
+	$User = getGenieUser();
 	$headless = 1;
 }