Spaces:
Paused
Paused
fix filename
Browse files
app.py
CHANGED
|
@@ -31,7 +31,8 @@ if uploaded_file is not None:
|
|
| 31 |
n=20)
|
| 32 |
|
| 33 |
directory = "$HOME/app"
|
| 34 |
-
|
|
|
|
| 35 |
matching_files = glob.glob(f"{directory}/**/{pattern}", recursive=True)
|
| 36 |
|
| 37 |
if matching_files:
|
|
|
|
| 31 |
n=20)
|
| 32 |
|
| 33 |
directory = "$HOME/app"
|
| 34 |
+
|
| 35 |
+
pattern = os.path.splitext(uploaded_file.name)[0] + ".grobid.tei.xml"
|
| 36 |
matching_files = glob.glob(f"{directory}/**/{pattern}", recursive=True)
|
| 37 |
|
| 38 |
if matching_files:
|