Wed, 09 May 2012 00:00:50 +0200refactoring
Edouard Tisserant [Wed, 09 May 2012 00:00:50 +0200] rev 725
refactoring

Tue, 08 May 2012 22:27:49 +0200refactoring
Edouard Tisserant [Tue, 08 May 2012 22:27:49 +0200] rev 724
refactoring

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