Spaces:
Running
Running
Update index.html
Browse files- index.html +16 -8
index.html
CHANGED
@@ -131,11 +131,12 @@
|
|
131 |
|
132 |
async function tokenize(){
|
133 |
const myRun = ++runId;
|
|
|
134 |
if (!tokenizer) {
|
135 |
await loadTokenizer(modelSel.value);
|
136 |
-
if (!tokenizer) { render(); return; }
|
137 |
}
|
138 |
-
|
139 |
const text = (inputEl.value ?? '').trim();
|
140 |
if (!text) {
|
141 |
state.tokens = [];
|
@@ -144,24 +145,31 @@
|
|
144 |
status('Type to tokenize…');
|
145 |
return;
|
146 |
}
|
147 |
-
|
148 |
status('Tokenizing…');
|
149 |
try {
|
|
|
|
|
|
|
|
|
150 |
const enc = await tokenizer.encode(text);
|
151 |
-
|
152 |
-
|
153 |
-
|
|
|
|
|
|
|
|
|
154 |
render();
|
155 |
status(`Done. ${state.tokens.length} tokens.`);
|
156 |
} catch (e) {
|
157 |
console.error('Tokenize failed:', e);
|
158 |
-
state.tokens = state.tokens ?? [];
|
159 |
-
state.ids = state.ids ?? [];
|
160 |
render();
|
161 |
status('Error tokenizing. See console.');
|
162 |
}
|
163 |
}
|
164 |
|
|
|
165 |
function render(){
|
166 |
const tokens = Array.isArray(state.tokens) ? state.tokens : [];
|
167 |
const ids = Array.isArray(state.ids) ? state.ids : [];
|
|
|
131 |
|
132 |
async function tokenize(){
|
133 |
const myRun = ++runId;
|
134 |
+
|
135 |
if (!tokenizer) {
|
136 |
await loadTokenizer(modelSel.value);
|
137 |
+
if (!tokenizer) { render(); return; }
|
138 |
}
|
139 |
+
|
140 |
const text = (inputEl.value ?? '').trim();
|
141 |
if (!text) {
|
142 |
state.tokens = [];
|
|
|
145 |
status('Type to tokenize…');
|
146 |
return;
|
147 |
}
|
148 |
+
|
149 |
status('Tokenizing…');
|
150 |
try {
|
151 |
+
// Get token strings (robust, always works)
|
152 |
+
const tokens = await tokenizer.tokenize(text);
|
153 |
+
|
154 |
+
// Get IDs (encode() may return different field names across versions)
|
155 |
const enc = await tokenizer.encode(text);
|
156 |
+
const ids =
|
157 |
+
(enc && (enc.ids ?? enc.input_ids ?? enc.inputIds)) || [];
|
158 |
+
|
159 |
+
if (myRun !== runId) return; // drop stale result
|
160 |
+
state.tokens = Array.isArray(tokens) ? tokens : [];
|
161 |
+
state.ids = Array.isArray(ids) ? ids : [];
|
162 |
+
|
163 |
render();
|
164 |
status(`Done. ${state.tokens.length} tokens.`);
|
165 |
} catch (e) {
|
166 |
console.error('Tokenize failed:', e);
|
|
|
|
|
167 |
render();
|
168 |
status('Error tokenizing. See console.');
|
169 |
}
|
170 |
}
|
171 |
|
172 |
+
|
173 |
function render(){
|
174 |
const tokens = Array.isArray(state.tokens) ? state.tokens : [];
|
175 |
const ids = Array.isArray(state.ids) ? state.ids : [];
|