tree 8cbc0d930f44275833df05c5b7a1d869ee5fafb4
parent 9de0001725d54b60a9924288f8fa77293e407b68
author Ju Pan <jupan1994@gmail.com> 1552175811 -0800
committer Alexander Afanasyev <aa@cs.fiu.edu> 1552945869 -0400

gui: Fix bug with ping unexpectedly starting after reopening app

Refs: #4688
Change-Id: Ib12c300d5a351e9dc76499eacfb3f96d5a42b97c