SALOME platform Git repositories - modules/kernel.git/commit

]> SALOME platform Git repositories - modules/kernel.git/commit

projects / modules / kernel.git / commit

author	vsr <vsr@opencascade.com>
	Thu, 15 Mar 2012 06:58:51 +0000 (06:58 +0000)
committer	vsr <vsr@opencascade.com>
	Thu, 15 Mar 2012 06:58:51 +0000 (06:58 +0000)
commit	256c879a2f51c1510e90e100648ce4704d84bf5d
tree	a719901bebc9ed24b6d2c1fb9a26722ff335d5ce	tree \| snapshot
parent	7d7f0215fbeeb0414119d08fbb30258fee128461	commit \| diff

Improve killSalomeWithPort script: before killing the servers with kill command, give them chance to shutdown in a proper way:
- attempt 2: invoke shutdowning in a separate thread to prevent script blocking if shutdown procedure hangs up

bin/killSalomeWithPort.py

diff | blob | history

SALOME Kernel module

RSS Atom