Spaces:
Sleeping
Sleeping
Update app.py
Browse files
app.py
CHANGED
@@ -418,13 +418,13 @@ def create_gradio_interface():
|
|
418 |
# Add Javascript to update HTML
|
419 |
interface.load = """
|
420 |
function(downloaded_dois, failed_dois){
|
421 |
-
let downloaded_html = '';
|
422 |
downloaded_dois.split('\\n').filter(Boolean).forEach(doi => {
|
423 |
downloaded_html += doi + '<br>';
|
424 |
});
|
425 |
document.querySelector("#downloaded-dois").innerHTML = downloaded_html;
|
426 |
|
427 |
-
let failed_html = '';
|
428 |
failed_dois.split('\\n').filter(Boolean).forEach(doi => {
|
429 |
failed_html += doi + '<br>';
|
430 |
});
|
|
|
418 |
# Add Javascript to update HTML
|
419 |
interface.load = """
|
420 |
function(downloaded_dois, failed_dois){
|
421 |
+
let downloaded_html = '<h3>Found DOIs</h3>';
|
422 |
downloaded_dois.split('\\n').filter(Boolean).forEach(doi => {
|
423 |
downloaded_html += doi + '<br>';
|
424 |
});
|
425 |
document.querySelector("#downloaded-dois").innerHTML = downloaded_html;
|
426 |
|
427 |
+
let failed_html = '<h3>Missed DOIs</h3>';
|
428 |
failed_dois.split('\\n').filter(Boolean).forEach(doi => {
|
429 |
failed_html += doi + '<br>';
|
430 |
});
|