From 0caebd3803bac0a6f33554261661c38a95f15aab Mon Sep 17 00:00:00 2001
From: Goffi <goffi@goffi.org>
Date: Thu, 29 Jul 2021 22:51:01 +0200
Subject: [PATCH] frontends (tools/misc): `FlagsHandler.__getitems__` now
 returns attribute

---
 sat_frontends/tools/misc.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/sat_frontends/tools/misc.py b/sat_frontends/tools/misc.py
index fdb5138f..c08cc8bd 100644
--- a/sat_frontends/tools/misc.py
+++ b/sat_frontends/tools/misc.py
@@ -76,6 +76,9 @@ class FlagsHandler(object):
         self._used_flags.add(flag)
         return flag in self.flags
 
+    def __getitem__(self, flag):
+        return getattr(self, flag)
+
     def __len__(self):
         return len(self.flags)