Spaces:
Runtime error
Runtime error
Update app_t.py
Browse files
app_t.py
CHANGED
|
@@ -9,7 +9,7 @@ def main():
|
|
| 9 |
extract_dir = "clipseg"
|
| 10 |
archive_format = "zip"
|
| 11 |
|
| 12 |
-
|
| 13 |
print ("yes zip location exists.")
|
| 14 |
src=path.realpath(filename)
|
| 15 |
print("zip location:", src)
|
|
@@ -18,8 +18,9 @@ def main():
|
|
| 18 |
shutil.unpack_archive(filename, extract_dir, archive_format)
|
| 19 |
#shutil.make_archive("test","zip",root_dir)
|
| 20 |
print ("Archive file unpacked successfully.")
|
| 21 |
-
|
| 22 |
-
|
|
|
|
| 23 |
|
| 24 |
if __name__=="__main__":
|
| 25 |
main()
|
|
|
|
| 9 |
extract_dir = "clipseg"
|
| 10 |
archive_format = "zip"
|
| 11 |
|
| 12 |
+
if path.exists(filename):
|
| 13 |
print ("yes zip location exists.")
|
| 14 |
src=path.realpath(filename)
|
| 15 |
print("zip location:", src)
|
|
|
|
| 18 |
shutil.unpack_archive(filename, extract_dir, archive_format)
|
| 19 |
#shutil.make_archive("test","zip",root_dir)
|
| 20 |
print ("Archive file unpacked successfully.")
|
| 21 |
+
else:
|
| 22 |
+
print ("Archive file unpacked un-successfully.")
|
| 23 |
+
|
| 24 |
|
| 25 |
if __name__=="__main__":
|
| 26 |
main()
|