Bug in committer code
diff --git a/html/map_files.php b/html/map_files.php
index 77e701f..79bb73e 100644
--- a/html/map_files.php
+++ b/html/map_files.php
@@ -20,7 +20,7 @@
 	exitTo("importing.php");
 }
 
-if(!isset($User->is_committer)) {
+if($User->is_committer != 1) {
 	exitTo("login.php?errNo=3214","error: 3214 - you must be an Eclipse committer to access this page.");
 }