Mike Fährmann 9fc1d0c901 implement and use 'util.safe_int()' ...

same as Python's 'int()', except it doesn't raise any exceptions and
accepts a default value

2017-09-24 15:59:25 +02:00

5.3 KiB

Raw Blame History

View Raw