config: replace open-coded cfg.get[int]
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 23 Apr 2017 23:53:00 +0000 (00:53 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 23 Apr 2017 23:53:00 +0000 (00:53 +0100)
We are going to want to do something more sophisticated.
Centralise things.  No functional change.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

No differences found