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


Former-commit-id: 666df0eb49b8fe86a2f1eeaa7cf0b586b3e11be8
webgme/webgme-engine,webgme/webgme-engine,webgme/webgme-engine