Spaces:
Running
Running
Update tools.py
Browse files
tools.py
CHANGED
@@ -88,8 +88,7 @@ if not os.path.exists(index_path):
|
|
88 |
zip_ref.extractall(".")
|
89 |
os.remove(zip_path)
|
90 |
except Exception as e:
|
91 |
-
raise Exception(e)
|
92 |
-
|
93 |
try:
|
94 |
tantivy = TantivySearch(index_path)
|
95 |
tantivy.validate_index()
|
|
|
88 |
zip_ref.extractall(".")
|
89 |
os.remove(zip_path)
|
90 |
except Exception as e:
|
91 |
+
raise Exception(f"failed to download index: {e}")
|
|
|
92 |
try:
|
93 |
tantivy = TantivySearch(index_path)
|
94 |
tantivy.validate_index()
|