--- user_api.old	2007-10-14 14:35:04.000000000 +0100
+++ user_api.php	2008-01-27 22:45:00.000000000 +0100
@@ -548,6 +548,24 @@
 				  FROM $t_user_table
 				  WHERE username='$c_username'";
 		$result = db_query( $query );
+		if ( 0 == db_num_rows( $result ) ) {
+			return false;
+		} else {
+			return db_result( $result );
+		}
+	}
+	
+	# --------------------
+	# get a user id from a username
+	#  return false if the username does not exist
+	function user_get_name_by_source_control_id( $p_sc_id ) {
+		$c_username		= db_prepare_string( $p_sc_id );
+		$t_user_table	= config_get( 'mantis_user_table' );
+
+		$query = "SELECT username
+				  FROM $t_user_table
+				  WHERE source_control_id='$c_username'";
+		$result = db_query( $query );

 		if ( 0 == db_num_rows( $result ) ) {
 			return false;