Spaces:
Build error
Build error
Pierre Andrews
commited on
Commit
·
5c6d5f4
1
Parent(s):
c1acebd
debug login
Browse files
app.py
CHANGED
|
@@ -335,7 +335,8 @@ def new_user(username):
|
|
| 335 |
def safe_whoami():
|
| 336 |
try:
|
| 337 |
return whoami()
|
| 338 |
-
except (LocalTokenNotFoundError, HTTPError, KeyError):
|
|
|
|
| 339 |
return None
|
| 340 |
|
| 341 |
def maybe_loggedin() -> str:
|
|
@@ -344,6 +345,7 @@ def maybe_loggedin() -> str:
|
|
| 344 |
please_login()
|
| 345 |
else:
|
| 346 |
username = me['name']
|
|
|
|
| 347 |
rg_user = rg_client.users(username)
|
| 348 |
if rg_user is None:
|
| 349 |
new_user(username)
|
|
|
|
| 335 |
def safe_whoami():
|
| 336 |
try:
|
| 337 |
return whoami()
|
| 338 |
+
except (LocalTokenNotFoundError, HTTPError, KeyError) as e:
|
| 339 |
+
print(e)
|
| 340 |
return None
|
| 341 |
|
| 342 |
def maybe_loggedin() -> str:
|
|
|
|
| 345 |
please_login()
|
| 346 |
else:
|
| 347 |
username = me['name']
|
| 348 |
+
print(username)
|
| 349 |
rg_user = rg_client.users(username)
|
| 350 |
if rg_user is None:
|
| 351 |
new_user(username)
|