Try to change the process name
commit8fd2bcbf75d35dbb64706d0d2f890448b18dff3d
authorgchazara@cheypa.inria.fr <>
Mon, 2 Jul 2007 09:34:55 +0000 (2 11:34 +0200)
committerGuillaume Chazarain <guichaz@yahoo.fr>
Mon, 2 Jul 2007 09:34:55 +0000 (2 11:34 +0200)
tree827cb79245f086005882f5829257b724a38cb5d0
parente3b7d430142eb5efe4bc3e5019b0f11a4458bb6f
Try to change the process name
gsh/main.py