#516 reLaunchUsers after selecting commit.
#516 reLaunchUsers after selecting commit.


Former-commit-id: 933ba53cfc5561804dc1da62ab0e3a0bfa1d59c6
webgme/webgme-engine,webgme/webgme-engine,webgme/webgme-engine