[checkmk-commits] [tribe29/checkmk] 5d7095: Add type hints in cmk/gui/config.py

Branch: refs/heads/master Home: https://github.com/tribe29/checkmk Commit: 5d7095f90234482498f0f197fec74683ec8dfb7f https://github.com/tribe29/checkmk/commit/5d7095f90234482498f0f197fec74683e… Author: Tom Baerwinkel <tom.baerwinkel(a)tribe29.com> Date: 2019-12-16 (Mon, 16 Dec 2019) Changed paths: M cmk/gui/config.py Log Message: ----------- Add type hints in cmk/gui/config.py CMK-3463 Change-Id: I136922930f7467aa598a29804b90dfd75f205370 Commit: 8d8e2643a25599e0caaa9bc64e329d611a22f3cd https://github.com/tribe29/checkmk/commit/8d8e2643a25599e0caaa9bc64e329d611… Author: Tom Baerwinkel <tom.baerwinkel(a)tribe29.com> Date: 2019-12-16 (Mon, 16 Dec 2019) Changed paths: M cmk/gui/config.py Log Message: ----------- Add more type hints to cmk/gui/config.py In two places small code changes were necessary since the user_id has type Optional[UserId] and not simply UserId. CMK-3463 Change-Id: I224134f984cdc50c29549d51b42831e23b02da25 Compare: https://github.com/tribe29/checkmk/compare/b7b97ed7d19a...8d8e2643a255