improve video creation

ufechner7 · Sep 29, 2024 · 6568c28 · 6568c28
1 parent b91571d
commit 6568c28
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/Tether_06_video.jl b/src/Tether_06_video.jl
@@ -120,6 +120,10 @@ function play()
         j += 1
         wait_until(start + time*1e9)
     end
+    if SAVE
+        plt.close("all")
+        run(`./bin/export_video`)
+    end
     nothing
 end
 play()