()
| 56484 | const a = o.getConfigs().withCredentials |
| 56485 | o.fn.fetch.withCredentials = a |
| 56486 | }) |
| 56487 | function getTokenKey() { |
| 56488 | var pathname = window.location.pathname.replace('docs', '') |
| 56489 | var match = pathname.match(/^\/([^\/]+)/) |
| 56490 | var prefix = match ? `${match[1]}_` : 'sqlbot_v1_' |
| 56491 | return `${prefix}user.token` |
| 56492 | } |
| 56493 | function get_token() { |
| 56494 | var token_key = getTokenKey() |