File size: 632 Bytes
703e6fc
 
458f0bb
703e6fc
d1c021a
ac0d8be
d1c021a
 
458f0bb
703e6fc
ac0d8be
703e6fc
ac0d8be
 
 
 
 
 
703e6fc
ac0d8be
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
import json


def extract(hf_token):
    """
    Extract token, user, redirect, source, username 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 = dict(json.loads(hf_token))
    except json.decoder.JSONDecodeError:
        return hf_token, None, None, None, None,None
    token = info.get("token", None)
    user = info.get("user", None)
    redirect = info.get("redirect", None)
    source = info.get("source", None)
    username = info.get("username", None)

    return token, user, redirect, source, username, info