]> glassweightruler.freedombox.rocks Git - waydroid.git/commit
projects / waydroid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7a38305) | patch
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)
commitdff88fd18aa3f843d336b72bf989057314ddbcc0
treee866004f1a865dc0e7096ba53deb076f45603a9ctree
parent7a38305a43f4b4d6f760d08404c40dd1ab66a949commit | diff
container: Only umount /sys/fs/cgroup/schedtune if needed

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
tools/actions/container_manager.py diff | blob | blame | history
https://github.com/waydroid/waydroid