Branch: refs/heads/master Home: https://github.com/tribe29/checkmk Commit: ace20a364e36c0e63368e52d0c3169f4a259e4da https://github.com/tribe29/checkmk/commit/ace20a364e36c0e63368e52d0c3169f4a… Author: Sven Panne <sven.panne(a)tribe29.com> Date: 2020-03-25 (Wed, 25 Mar 2020) Changed paths: M cmk/gui/http.py M cmk/gui/valuespec.py Log Message: ----------- Disentangle and fix Integer/Float valuespecs, getting typing right. We introduced some copy-n-paste on the way, which will be fixed in an upcoming commit. Introduced helpers for float HTML vars, something we wanted to have for some time now. Change-Id: Ifd9bfbeb84b9ec3d92482244a4423100fef7e4a9