From 7db17c09628b8f30b468e47dd78aa51f6b6c7e33 Mon Sep 17 00:00:00 2001
From: jesopo <github@lolnerd.net>
Date: Thu, 26 Sep 2019 13:44:38 +0100
Subject: [PATCH] add utils.parse.try_int() because .isdigit() isnt good enough
---
src/utils/parse.py | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/src/utils/parse.py b/src/utils/parse.py
index 0c3838a1..65d0552b 100644
--- a/src/utils/parse.py
+++ b/src/utils/parse.py
@@ -73,3 +73,9 @@ def keyvalue(s: str, delimiter: str=" "
else:
items[key] = None
return items
+
+def try_int(s: str) -> typing.Optional[int]:
+ try:
+ return int(s)
+ except ValueError:
+ return None