From de154334edf19dfa5d661188495fd5bfbc1e6843 Mon Sep 17 00:00:00 2001
From: Olivier Gayot <olivier.gayot@sigexec.com>
Date: Thu, 11 Apr 2019 18:41:56 +0200
Subject: Fix crash when not running in batch mode

When invoked without the <profile> specified, the script crashed by
throwing an uncaught exception.

Signed-off-by: Olivier Gayot <olivier.gayot@sigexec.com>
---
 monitor-menu.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'monitor-menu.py')

diff --git a/monitor-menu.py b/monitor-menu.py
index c81f753..48e12a4 100755
--- a/monitor-menu.py
+++ b/monitor-menu.py
@@ -62,7 +62,7 @@ def main(argv=None):
     menu = MonitorMenu()
 
     try:
-        if '<profile>' in args:
+        if '<profile>' in args and args['<profile>'] is not None:
             menu.run(int(args['<profile>']))
         else:
             menu.run()
-- 
cgit v1.2.3