From 537cdb6540e5edcdbbf59a3c243c1444cc9c0a4c Mon Sep 17 00:00:00 2001 From: Dor Askayo Date: Mon, 23 May 2022 14:45:59 +0300 Subject: [PATCH] Detach loopback device only if it was attached Also change the print to better describe the action taken. --- sysc.py | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/sysc.py b/sysc.py index 3e6c317..06c4e85 100755 --- a/sysc.py +++ b/sysc.py @@ -16,6 +16,9 @@ class SysC(SysGeneral): """ Class responsible for preparing sources for System C. """ + + dev_name = None + # pylint: disable=too-many-instance-attributes def __init__(self, arch, preserve_tmp, tmpdir, chroot): self.git_dir = os.path.dirname(os.path.join(__file__)) @@ -35,8 +38,8 @@ class SysC(SysGeneral): def __del__(self): if not self.preserve_tmp: - if not self.chroot: - print(f"Deleting {self.dev_name}") + if self.dev_name is not None: + print(f"Detaching {self.dev_name}") run('sudo', 'losetup', '-d', self.dev_name) super().__del__()