Spaces:
Runtime error
Runtime error
jaifar530
commited on
Update app.py
Browse files
app.py
CHANGED
|
@@ -102,12 +102,12 @@ for filename, url in file_urls.items():
|
|
| 102 |
# st.write(f"File {filename} already exists. Skipping download.")
|
| 103 |
############ download ridge and ExtraTree stuff
|
| 104 |
|
| 105 |
-
def has_internet_connection():
|
| 106 |
-
|
| 107 |
-
|
| 108 |
-
|
| 109 |
-
|
| 110 |
-
|
| 111 |
|
| 112 |
def is_zip_file(file_path):
|
| 113 |
return zipfile.is_zipfile(file_path)
|
|
|
|
| 102 |
# st.write(f"File {filename} already exists. Skipping download.")
|
| 103 |
############ download ridge and ExtraTree stuff
|
| 104 |
|
| 105 |
+
# def has_internet_connection():
|
| 106 |
+
# try:
|
| 107 |
+
# response = requests.get("https://www.google.com/", timeout=5)
|
| 108 |
+
# return True
|
| 109 |
+
# except requests.ConnectionError:
|
| 110 |
+
# return False
|
| 111 |
|
| 112 |
def is_zip_file(file_path):
|
| 113 |
return zipfile.is_zipfile(file_path)
|