Tue, 08 May 2012 17:48:47 +0200fixed non-terminating process problem
Edouard Tisserant [Tue, 08 May 2012 17:48:47 +0200] rev 723
fixed non-terminating process problem

Tue, 08 May 2012 17:16:37 +0200refactoring
Edouard Tisserant [Tue, 08 May 2012 17:16:37 +0200] rev 722
refactoring

Tue, 08 May 2012 17:08:45 +0200refactoring
Edouard Tisserant [Tue, 08 May 2012 17:08:45 +0200] rev 721
refactoring