From 17e102b7fac9dd77e645c8d20383930fdeb4e298 Mon Sep 17 00:00:00 2001 From: Jiri Kalvoda <jirikalvoda@kam.mff.cuni.cz> Date: Fri, 24 Sep 2021 17:50:40 +0200 Subject: [PATCH] Util: star_is_none --- mo/util.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/mo/util.py b/mo/util.py index 56223fee..3b52844c 100644 --- a/mo/util.py +++ b/mo/util.py @@ -187,3 +187,7 @@ def clean_up_token(token: str) -> str: # Někteří klienti při kopírování adresy z mailu do prohlížeče # přidávají divné Unicodové znaky (přepnutí směru psaní atd., viz issue #58). return re.sub(r'[^!-~]', "", token) + + +def star_is_none(x): + return None if x == "*" else x -- GitLab