From 8d74a7da06e802525554bc58c0bdf043bc4b230e Mon Sep 17 00:00:00 2001
From: Pavel Machek <pavel@ucw.cz>
Date: Fri, 10 May 2024 22:07:28 +0200
Subject: [PATCH] rmdir can be easily done without calling the shell.

---
 mpegize.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/mpegize.py b/mpegize.py
index 7daa77a..3a487d5 100755
--- a/mpegize.py
+++ b/mpegize.py
@@ -418,8 +418,8 @@ class Mpegize:
         print("mpegize command base-dir destination-movie fps dng|grw")
 
     def cleanup(m):
-        os.system("rmdir %s/sm/" % m.base)
-        os.system("rmdir %s/" % m.base)
+        os.rmdir(m.base+"/sm/")
+        os.rmdir(m.base)
         print("Message: Rec")
         sys.stdout.flush()