import json def extract(hf_token): """ Extract token, user, redirect, source, and info from input hf_token. If hf_token is simple, it is the token itself. """ info = {} # a copy of hf_token in json format try: info = json.loads(hf_token) except json.decoder.JSONDecodeError: return hf_token, None, None, None, None try: token = info["token"] except KeyError: token = None try: user = info["user"] except KeyError: user = None try: redirect = info["redirect"] except KeyError: redirect = None try: source = info["source"] except KeyError: source = None return token, user, redirect, source, info