diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/hugepages.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/hugepages.py b/tools/hugepages.py index 71535922..3a434d6e 100644 --- a/tools/hugepages.py +++ b/tools/hugepages.py @@ -78,7 +78,8 @@ def mount_hugepages(): return if not os.path.exists(settings.getValue('HUGEPAGE_DIR')): - os.makedirs(settings.getValue('HUGEPAGE_DIR')) + tasks.run_task(['sudo', 'mkdir', settings.getValue('HUGEPAGE_DIR')], _LOGGER, + 'Creating directory ' + settings.getValue('HUGEPAGE_DIR'), True) try: tasks.run_task(['sudo', 'mount', '-t', 'hugetlbfs', 'nodev', settings.getValue('HUGEPAGE_DIR')], |