This is an automated email from the git hooks/post-receive script.

bernie.ogden pushed a commit to branch inserted_src in repository toolchain/semiautobench.

commit 4b312d27e4622e450fcfe817e06be93860d93b6c Author: Bernard Ogden bernie.ogden@linaro.org Date: Thu Jul 23 17:03:16 2015 +0200

Comment to explain socket deletion

Change-Id: I203d4cfcf4afaa579ae3f3bb0fc9c20e0d255164 --- invoke_session_debian | 2 ++ 1 file changed, 2 insertions(+)

diff --git a/invoke_session_debian b/invoke_session_debian index 24dc9d0..9652506 100755 --- a/invoke_session_debian +++ b/invoke_session_debian @@ -122,6 +122,8 @@ for lava_name in `lava-group | grep -v '[[:blank:]]*host$' | aw [...] target_names=("${target_names[@]}" "${lava_name}") fi done + +#Don't need the agent any more, kill the socket rm ~/data/socket

export targets="${target_names[@]}"