tree a0cc584742c3ef7340cad8a1953d45ff6de3ad6f
parent ac4c6bb401879e0510600c3f08e35e53e1c01111
author Ju Pan <jupan1994@gmail.com> 1552186351 -0800
committer Alexander Afanasyev <aa@cs.fiu.edu> 1552945871 -0400

gui: fix crash if pressing HOME key while ping client is running

Refs: #4628
Change-Id: I31c5bb30a24fa675da93030d5bdbcc21fc03fd9c