def get_user_details()

in scripts/get_auto_launch_config.py [0:0]


    def get_user_details(self, user_id : str):
        if self.users.get(user_id) != None:
            return self.users.get(user_id)

        for identity_store_id in self.get_identity_store_ids(self.get_studio_ids()):
            try:
                user = self.identity_helper.describe_identity_user(
                    identity_store_id=identity_store_id,
                    user_id=user_id
                )
                self.users.update({user_id : user})
                return user
            except ClientError as e:
                if e.response['Error']['Code'] != 'ResourceNotFoundException':
                    return None
            except Exception:
                return None
        return None