mirror/mbedtls
1
0
Fork 0
mirror of https://github.com/Mbed-TLS/mbedtls.git synced 2025-04-16 08:42:50 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Fix Config.unset() making the name known

Browse Source
This commit is contained in:
Gilles Peskine 2019-08-01 23:13:23 +02:00
parent 208e4ec5d3
commit 55cc4dbb5c
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
scripts/config.py
View File

@ -131,9 +131,10 @@ class Config:
def unset(self, name): def unset(self, name):
"""Make name unset (inactive). """Make name unset (inactive).
name remains known. name remains known if it was known before.
""" """
self.set(name) if name not in self.settings:
return
self.settings[name].active = False self.settings[name].active = False
def adapt(self, adapter): def adapt(self, adapter):