]> glassweightruler.freedombox.rocks Git - waydroid.git/commitdiff
container: Only umount /sys/fs/cgroup/schedtune if needed
authorJami Kettunen <jami.kettunen@protonmail.com>
Sun, 10 Jul 2022 12:39:08 +0000 (15:39 +0300)
committerAlessandro Astone <ales.astone@gmail.com>
Thu, 14 Jul 2022 17:36:45 +0000 (19:36 +0200)
Silences the following useless log from "waydroid log" outputs when the
directory either doesn't exist at all (mainline Linux devices), or when
it's not mounted on Halium:

  (027693) [15:21:39] % umount -l /sys/fs/cgroup/schedtune
  umount: /sys/fs/cgroup/schedtune: not mounted

Reference: https://docs.python.org/3/library/os.path.html#os.path.ismount


No differences found