tree e9187e7ad2be06257d357605fd4e9728a56ab725
parent 5c1c444c6cd0a53ba7e9ef5fcca4f453ab72d4bb
author Junxiao Shi <git@mail1.yoursunny.com> 1531922701 -0600
committer Junxiao Shi <git@mail1.yoursunny.com> 1531942182 -0600

mgmt: use platform-independent counter type

refs #4229

Change-Id: I147205cceeb84dc7c36be9614f15a9e9a1c880f9