public String getUserID ( String globusID ) { String [ ] ids = getUserIDs ( globusID ) ; if ( ids != null && ids . length > 0 ) { return ids [ 0 ] ; } else { return null ; } }
Returns first local user name mapped to the specified globusID .