Spaces:
Running
Running
Update app.py
Browse files
app.py
CHANGED
@@ -76,18 +76,17 @@ def make_video(video_path, outdir='./vis_video_depth', encoder='vits'):
|
|
76 |
])
|
77 |
|
78 |
if os.path.isfile(video_path):
|
79 |
-
if video_path.endswith('
|
80 |
with open(video_path, 'r') as f:
|
81 |
lines = f.read().splitlines()
|
82 |
-
print(lines[0])
|
83 |
else:
|
84 |
filenames = [video_path]
|
85 |
-
print(filenames[0])
|
86 |
else:
|
87 |
filenames = os.listdir(video_path)
|
88 |
filenames = [os.path.join(video_path, filename) for filename in filenames if not filename.startswith('.')]
|
89 |
filenames.sort()
|
90 |
-
print(
|
|
|
91 |
|
92 |
# os.makedirs(outdir, exist_ok=True)
|
93 |
|
|
|
76 |
])
|
77 |
|
78 |
if os.path.isfile(video_path):
|
79 |
+
if video_path.endswith('txt'):
|
80 |
with open(video_path, 'r') as f:
|
81 |
lines = f.read().splitlines()
|
|
|
82 |
else:
|
83 |
filenames = [video_path]
|
|
|
84 |
else:
|
85 |
filenames = os.listdir(video_path)
|
86 |
filenames = [os.path.join(video_path, filename) for filename in filenames if not filename.startswith('.')]
|
87 |
filenames.sort()
|
88 |
+
print(os.listdir("/tmp/gradio/")[0])
|
89 |
+
print(len(os.listdir("/tmp/gradio/")))
|
90 |
|
91 |
# os.makedirs(outdir, exist_ok=True)
|
92 |
|